Walukiewicz, I. (2000) “Local Logics for Traces”, BRICS Report Series, 7(2). doi: 10.7146/brics.v7i2.20130.