@techreport{Jamroga09atlplus-tr,
  author        = {W. Jamroga and N. Bulling},
  title         = {Model Checking {ATL$^+$} is Harder than It Seemed},
  institution   = {Clausthal University of Technology},
  number        = {IfI-09-13},
  year          = {2009}
}