1. Alur, R., Henzinger, T.: A really temporal logic. JACM 41(1), 181–204 (1994)
2. Lecture Notes in Computer Science;C. Areces,1999
3. Lecture Notes in Computer Science;H. Björklund,2007
4. Boigelot, B.: Symbolic methods for exploring infinite state spaces. PhD thesis, Université de Liège (1998)
5. Bojańczyk, M., Muscholl, A., Schwentick, T., Segoufin, L., David, C.: Two-variable logic on words with data. In: LICS 2006, pp. 7–16. IEEE, Los Alamitos (2006)