1. Ågotnes, T., W. van der Hoek and M. Wooldridge, On the logic of coalitional games, in: AAMAS, 2006, pp. 153–160.
2. Alechina, N., B. Logan, N. H. Nga and A. Rakib, A logic for coalitions with bounded resources, in: Proc. of the 21st International Joint Conference on Artificial Intelligence, IJCAI ʼ09, 2009, pp. 659–664.
3. Alechina, N., B. Logan, N. H. Nga and A. Rakib, Resource-bounded alternating-time temporal logic, in: Proc. of the 9th International Conference on Autonomous Agents and Multiagent Systems: Volume 1, AAMAS ʼ10, 2010, pp. 481–488. URL http://portal.acm.org/citation.cfm?id=1838206.1838274.
4. Alternating-time temporal logic;Alur;Journal of ACM,2002
5. Modelling and verifying coalitions using argumentation and ATL, Inteligencia Artificial;Bulling;Revista Iberoamericana de Inteligencia Artificial,2010