LTL Is Expressively Complete for Mazurkiewicz Traces.

Volker Diekert, Paul Gastin

Browse the full ICALP paper archive.