1. Alechina, N., Logan, B., Nguyen, H. N., & Raimondi, F. (2014). Decidable Model-Checking for a Resource Logic with Production of Resources. In ECAI’14 (pp. 9–14).
2. Alechina, N., Logan, B., Nguyen, H. N., & Rakib, A. (2010). Resource-bounded Alternating-time Temporal Logic. In Proceedings of AAMAS ’10 (pp. 481–488).
3. Alternating-time temporal logic;Alur;Journal of the ACM.,2002
4. Extensive games as process models;Benthem;Journal of Logic, Language and Information,2002
5. Modal logic;Blackburn,2001