LTL is expressively complete for Mazurkiewicz traces
scientific article; zbMATH DE number 1775702
scientific article