1. Alpern, B., Schneider, F.B.: Defining liveness. Information Processing Letters 21, 181–185 (1985)
2. Alur, R., Henzinger, T.A.: Finitary fairness. In: Proc. Logic in Computer Science, pp. 52–61. IEEE Computer Society, Los Alamitos (1994)
3. Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. J. ACM 49, 672–713 (2002)
4. Lecture Notes in Computer Science;N. Dershowitz,2004
5. Emerson, E.A., Jutla, C.: The complexity of tree automata and logics of programs. In: Proc. Foundations of Computer Science, pp. 328–337. IEEE Computer Society, Los Alamitos (1988)