APA (7th ed.) Citation

Gastin, P., & Kuske, D. (2007). Uniform Satisfiability in PSPACE for Local Temporal Logics Over Mazurkiewicz Traces. Fundamenta Informaticae, 80(1-3), 169.

Chicago Style (17th ed.) Citation

Gastin, Paul, and Dietrich Kuske. "Uniform Satisfiability in PSPACE for Local Temporal Logics Over Mazurkiewicz Traces." Fundamenta Informaticae 80, no. 1-3 (2007): 169.

MLA (9th ed.) Citation

Gastin, Paul, and Dietrich Kuske. "Uniform Satisfiability in PSPACE for Local Temporal Logics Over Mazurkiewicz Traces." Fundamenta Informaticae, vol. 80, no. 1-3, 2007, p. 169.