LTL is expressively complete for Mazurkiewicz traces (2002)

by V Diekert, P Gastin
Venue:ICALP’00, LNCS 1853