1. Lecture Notes in Computer Science;Z.M. Ariola,1997
2. Ariola, Z.M., Klop, J.W.: Equational term graph rewriting. Fundamenta Informaticae 26(3/4), 207–240 (1996)
3. Baader, F., Nipkow, T.: Term Rewriting and all That. Cambridge University Press, Cambridge (1998)
4. Balland, E., Brauner, P.: Term-graph rewriting in tom using relative positions. In: TermGraph 2007: International Workshop on Computing with Terms and Graphs (2007)
5. Balland, E., Moreau, P.-E.: Term-graph rewriting via explicit paths. Technical report (2008), http://hal.inria.fr/inria-00173535/fr/