Walukiewicz, I. Local Logics for Traces. BRICS 2000, 7.