Wojciech Penczek Axiomatizations of Temporal Logics on Trace Systems. 183-200 1996 25 Fundam. Inform. 2 db/journals/fuin/fuin25.html#Penczek96