1. Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. In: Proceedings of the 38th Annual Symposium on Foundations of Computer Science (FOCS 1997), pp. 100–109. IEEE Comp. Soc. Press (October 1997)
2. Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. Journal of the ACM 49(5), 672–713 (2002)
3. Lecture Notes in Computer Science;R. Alur,1998
4. Lecture Notes in Computer Science;K. Chatterjee,2007
5. Lecture Notes in Computer Science;E.M. Clarke,1998