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