1. Alur, R., Henzinger, T.A. & Kupferman. O. (1997). Alternating-time temporal logic. In FOCS ’97: Proceedings of the 38th Annual Symposium on Foundations of Computer Science (FOCS ’97) (pp. 100–109). IEEE Computer Society.
2. Alur, R., Henzinger, T. A., & Kupferman, O. (2002). Alternating-time temporal logic. Journal of the ACM, 49(5), 672–713.
3. Belnap, N., & Perloff, M. (1988). Seeing to it that: a canonical form for agentives. Theoria, 54(3), 175–199.
4. Belnap, N., Perloff, M. & Xu, M. (2001). Facing the future: agents and choices in our indeterminist world. Oxford University Press
5. Broersen, J. (2011). Making a start with the stit logic analysis of intentional action. Journal of Philosophical Logic, 40, 399–420.