Uniform Satisfiability in PSPACE for Local Temporal Logics Over Mazurkiewicz Traces. - Gastin, Paul; Kuske, Dietrich (Fundamenta Informaticae, 2007)