@inproceedings{Bulling09atlplus-eumas,
  author        = {N. Bulling and W. Jamroga},
  title         = {Model Checking {ATL$^+$} Is Harder than It Seemed},
  booktitle     = {Proceedings of {EUMAS'09}},
  year          = {2009}
}