Cyclic lambda graph rewriting, Proc. LICS, pp.416-425, 1994. ,
Orderings for term-rewriting systems, Theoretical Computer Science, vol.17, issue.3, pp.279-301, 1982. ,
DOI : 10.1016/0304-3975(82)90026-3
Algebraic operads: An algorithmic companion, 2016. ,
A Constructive Proof of the Topological Kruskal Theorem, Proc. MFCS, pp.22-41, 2013. ,
DOI : 10.1007/978-3-642-40313-2_3
Ramified expressions ? expanding the syntax of expressions, 2010. ,
Simplification orders for term graph rewriting, Proc. MFCS, pp.458-467, 1997. ,
DOI : 10.1007/BFb0029989
A Fully Syntactic AC-RPO, Information and Computation, vol.178, issue.2, pp.515-533, 2002. ,
DOI : 10.1006/inco.2002.3158