@incollection{Bulling10verification,
  author        = {N. Bulling and J. Dix and W. Jamroga},
  title         = {{Model Checking Logics of Strategic Ability: Complexity}},
  booktitle     = {Specification and Verification of Multi-Agent Systems},
  editor        = {M. Dastani and K. Hindriks and J.-J. Meyer},
  publisher     = {Springer},
  pages         = {125--159},
  year          = {2010}
}