@inproceedings(agotnes2007,
 author       = "Thomas {\r A}gotnes and Valentin Goranko and Wojciech Jamroga",
 year         = "2007",
 title        = "Alternating-time temporal logics with irrevocable strategies",
 booktitle    = "Theoretical aspects of rationality and knowledge",
 pages        = "15--24",
 doi          = "10.1145/1324249.1324256",
)
@article(ahk,
 author       = "Rajeev Alur and Thomas~A. Henzinger and Orna Kupferman",
 year         = "2002",
 title        = "Alternating-time temporal logic",
 journal      = "J. ACM",
 volume       = "49",
 number       = "5",
 pages        = "672--713",
 doi          = "10.1145/585265.585270",
)
@article(brihaye2009atl,
 author       = "T.~Brihaye and A.~Da~Costa and F.~Laroussinie and N.~Markey",
 year         = "2009",
 title        = "{ATL with strategy contexts and bounded memory}",
 journal      = "Logical Foundations of Computer Science",
 pages        = "92--106",
 doi          = "10.1007/978-3-540-92687-0\_7",
)
@article(tr2,
 author       = "Christophe Chareton and Julien Brunel and David Chemouil",
 year         = "2013",
 title        = "Updatable Strategy Logic",
 journal      = "\unhbox \voidb@x \hbox {}",
 volume       = "hal-00785659",
 url          = "http://hal.archives-ouvertes.fr/hal-00785659",
 note         = "Submitted",
)
@article(krish2010,
 author       = "Krishnendu Chatterjee and Thomas~A. Henzinger and Nir Piterman",
 year         = "2010",
 title        = "Strategy logic",
 journal      = "Inf. \& Comp.",
 volume       = "208",
 number       = "6",
 pages        = "677--693",
 doi          = "10.1016/j.ic.2009.07.004",
)
@phdthesis(dacostalopes,
 author       = "Arnaud Da~Costa~Lopes",
 year         = "2011",
 title        = "{Propri{\'e}t{\'e}s de jeux multi-agents}",
 type         = "Phd thesis",
 school       = "{\'E}cole normale sup{\'e}rieure de Cachan",
)
@inproceedings(atlscconcur,
 author       = "Arnaud Da~Costa Lopes and Fran\c {c}ois Laroussinie and Nicolas Markey",
 year         = "2010",
 title        = "ATL with Strategy Contexts: Expressiveness and Model Checking",
 booktitle    = "FSTTCS",
 pages        = "120--132",
 doi          = "10.4230/LIPIcs.FSTTCS.2010.120",
)
@article(varditr,
 author       = "Fabio Mogavero and Aniello Murano and Giuseppe Perelli and Moshe~Y. Vardi",
 year         = "2011",
 title        = "Reasoning About Strategies: On the Model-Checking Problem",
 journal      = "CoRR",
 volume       = "abs/1112.6275",
 url          = "http://arxiv.org/abs/1112.6275",
)
@inproceedings(slconcur,
 author       = "Fabio Mogavero and Aniello Murano and Giuseppe Perelli and Moshe~Y. Vardi",
 year         = "2012",
 title        = "What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic",
 booktitle    = "CONCUR",
 pages        = "193--208",
 doi          = "10.1007/978-3-642-32940-1\_15",
)
@inproceedings(vardi,
 author       = "Fabio Mogavero and Aniello Murano and Moshe~Y. Vardi",
 year         = "2010",
 title        = "Reasoning about strategies",
 booktitle    = "FSTTCS",
 volume       = "8",
 pages        = "133--144",
 doi          = "10.4230/LIPIcs.FSTTCS.2010.133",
)