(1)
Thiagarajan, P.; Walukiewicz, I. An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces. BRICS 1996, 3.