1. Lect Notes Comput Sci;S. Abdennadher,1996
2. Krzysztof R. Apt. Introduction to logic programming. In Jan van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, chapter 10, pages 493–574. Elsevier Science Publishers, 1990.
3. Franz Baader and Tobias Nipkow. Term Rewriting and All That. Cambridge University Press, 1998.
4. Lect Notes Comput Sci;O. Bernholtz,1994
5. Hubert Comon, Max Dauchet, Rémi Gilleron, Florent Jacquemard, Denis Lugiez, Sophie Tison, and Marc Tommasi. Tree automata. Techniques and Applications, April 1999. Available at http://www.grappa.univ-lille3.fr/tata/ .