1. Bojańczyk, M., David, C., Muscholl, A., Schwentick, T., Segoufin, L.: Two-variable logic on words with data. In: Proceedings of the Symposium on Logic in Computer Science (LICS 2006), pp. 7–16. IEEE Computer Society Press, Los Alamitos (2006)
2. Bojańczyk, M., Muscholl, A., Schwentick, T., Segoufin, L.: Two-variable logic on data trees and xml reasoning. J. ACM 56, 1–48 (2009)
3. Lecture Notes in Computer Science;J. Carme,2004
4. Comon, H., Dauchet, M., Gilleron, R., Jacquema, F., Lugiez, D., Tison, S., Tommasi, M.: Tree Automata Techniques and Applications,
http://www.grappa.univ-lille3.fr/tata
5. Damm, W.: The IO and OI-hierarchies. Theoret. Comput. Sci. 20, 95–207 (1982)