T. Ågotnes, V. , and W. Jamroga, Alternating-time temporal logics with irrevocable strategies, Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge , TARK '07, pp.15-2410, 2007.
DOI : 10.1145/1324249.1324256

R. Alur, T. A. Henzinger, and &. Kupferman, Alternating-time temporal logic, Journal of the ACM, vol.49, issue.5, pp.672-713, 2002.
DOI : 10.1145/585265.585270
URL : http://www-cad.eecs.berkeley.edu/~tah/Publications/alternating-time_temporal_logic.ps

T. Brihaye, A. Da-costa, F. Laroussinie, and &. N. Markey, ATL with strategy contexts and bounded memory. Logical Foundations of Computer Science, pp.92-106, 2009.
DOI : 10.1007/978-3-540-92687-0_7
URL : http://www.lsv.ens-cachan.fr/Publis/RAPPORTS_LSV/PDF/rr-lsv-2008-14.pdf

C. Chareton and D. Chemouil, Updatable Strategy Logic. hal-00785659, 2013.
DOI : 10.4204/eptcs.112.14
URL : https://hal.archives-ouvertes.fr/hal-00796962

K. Chatterjee and T. A. Henzinger-&-nir-piterman, Strategy logic, Information and Computation, vol.208, issue.6, pp.677-693, 2010.
DOI : 10.1016/j.ic.2009.07.004

A. Da and C. Lopes, Propriétés de jeux multi-agents, 2011.

A. Da, C. Lopes, F. Laroussinie, and N. Markey, ATL with Strategy Contexts: Expressiveness and Model Checking, pp.120-132, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00599764

F. Mogavero, A. Murano, G. Perelli, &. Moshe, and Y. Vardi, Reasoning About Strategies, ACM Transactions on Computational Logic, vol.15, issue.4, 2011.
DOI : 10.1145/2631917

F. Mogavero, A. Murano, G. Perelli, &. Moshe, and Y. Vardi, What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic, pp.193-208, 2012.
DOI : 10.1007/978-3-642-32940-1_15
URL : http://www.cs.rice.edu/~vardi/papers/concur12.pdf

F. Mogavero, A. Murano, &. Moshe, and Y. Vardi, Reasoning about strategies, pp.133-144, 2010.