Cheng, A. (1994) “Local Model Checking and Traces”, BRICS Report Series, 1(17). doi: 10.7146/brics.v1i17.21650.