W
[WLW+06] Dirk Walther, Carsten Lutz, Frank Wolter, and Michael Wooldridge. ATL Satisfiability is Indeed EXPTIME-Complete. Journal of Logic and Computation 16(6):765-787. Oxford University Press, December 2006. 
@article{jlc16(6)-WLWW,
  author =              {Walther, Dirk and Lutz, Carsten and Wolter, Frank
                         and Wooldridge, Michael},
  title =               {{ATL} Satisfiability is Indeed {EXPTIME}-Complete},
  publisher =           {Oxford University Press},
  journal =             {Journal of Logic and Computation},
  volume =              {16},
  number =              {6},
  pages =               {765-787},
  year =                {2006},
  month =               dec,
  doi =                 {10.1093/logcom/exl009},
}
List of authors