A. Cheng, “Local Model Checking and Traces”, BRICS, bd. 1, nr. 17, jun. 1994.