%0 Book Section %A Goranko, Valentin %A Vester, Steen %B Advances in Modal Logic, Volume 10 %D 2014 %E Goré, Rajeev %E Kooi, Barteld %E Kurucz, Agi %I College Publications %P 234-253 %T Optimal Decision Procedures for Satisfiability in Fragments of Alternating-time Temporal Logics