Goranko, Valentin and
Vester, Stehen. 2014.
“Optimal Decision Procedures for Satisfiability in Fragments of Alternating-time Temporal Logics.” in
Advances in Modal Logic, volume X, edited by Rajeev
Goré, Barteld P.
Kooi, and Ágnes
Kurucz, pp. 234–253. London: King’s College Publications.