A. Cheng, “Local Model Checking and Traces”, BRICS, vol. 1, no. 17, Jun. 1994.