Walukiewicz, I. 2000. Local Logics for Traces. BRICS Report Series. 7, 2 (Jan. 2000). DOI:https://doi.org/10.7146/brics.v7i2.20130.