P. S. Thiagarajan and I. Walukiewicz, “An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces”, BRICS, vol. 3, no. 62, Dec. 1996.