Local LTL with Past Constants Is Expressively Complete for Mazurkiewicz Traces.

Paul Gastin, Madhavan Mukund, K. Narayan Kumar

Browse the full MFCS paper archive.