M. Zena, J. W. Ariola, and . Klop, Cyclic lambda graph rewriting, Proc. LICS, pp.416-425, 1994.

N. Dershowitz, Orderings for term-rewriting systems, Theoretical Computer Science, vol.17, issue.3, pp.279-301, 1982.
DOI : 10.1016/0304-3975(82)90026-3

V. Dotsenko and M. Bremner, Algebraic operads: An algorithmic companion, 2016.

J. Goubault-larrecq, A Constructive Proof of the Topological Kruskal Theorem, Proc. MFCS, pp.22-41, 2013.
DOI : 10.1007/978-3-642-40313-2_3

J. Kajiya, Ramified expressions ? expanding the syntax of expressions, 2010.

D. Plump, Simplification orders for term graph rewriting, Proc. MFCS, pp.458-467, 1997.
DOI : 10.1007/BFb0029989

A. Rubio and A. Fully, A Fully Syntactic AC-RPO, Information and Computation, vol.178, issue.2, pp.515-533, 2002.
DOI : 10.1006/inco.2002.3158