Cheng, A. Local Model Checking and Traces. BRICS 1994, 1.