LTL is expressively complete for Mazurkiewicz traces (2000)

by Volker Diekert, Paul Gastin
Venue:Proc. 27th International Colloquium on Automata, Languages and Programming (ICALP'2000