"ATL* Satisfiability Is 2EXPTIME-Complete."

Sven Schewe (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics