M. Zena, &. Ariola, and . Klop, Cyclic Lambda Graph Rewriting, Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), pp.416-425, 1994.

L. Babai, Graph Isomorphism in Quasipolynomial Time, Proceedings of the 48th Annual ACM SIGACT Symposium on Theory of Computing, pp.684-697, 2016.

F. Blanqui and J. Rubio, The computability path ordering, Logical Methods in Computer Science, vol.11, issue.4, pp.113-2015, 2015.
DOI : 10.2168/LMCS-11(4:3)2015

URL : https://hal.archives-ouvertes.fr/hal-01163091

V. Dotsenko and &. Bremner, Algebraic Operads: An Algorithmic Companion, 2016.

H. Ehrig, G. Engels, H. Kreowski, and &. G. Rozenberg, Handbook of Graph Grammars and Computing by Graph Transformation, 1999.

H. Ehrig, M. Pfender, &. Hans-jürgen, and . Schneider, Graph-grammars: An algebraic approach, 14th Annual Symposium on Switching and Automata Theory (swat 1973), pp.167-180, 1973.
DOI : 10.1109/SWAT.1973.11