I. Walukiewicz, “Local Logics for Traces”, BRICS, vol. 7, no. 2, Jan. 2000.