@Article{WaLuWoWo-06b,
  author = 	 {D. Walther and C. Lutz and F. Wolter and M. Wooldridge},
  title = 	 {{ATL} is Indeed {\sc ExpTime}-complete},
  journal = 	 {Journal of Logic and Computation},
  year = 	 2006,
  volume = 	 {16},
  number =       {6},
  pages =        {765--787}
}