F. Bonchi, F. Gadducci, A. Kissinger, P. Soboci?ski, and F. Zanasi, Confluence of graph rewriting with interfaces, Held as Part of the European Joint Conferences on Theory and Practice of Software, vol.10201, pp.141-169, 2017.

, Proceedings Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation, vol.265, 2017.

A. Corradini, D. Duval, R. Echahed, F. Prost, and L. Ribeiro, AGREE -algebraic graph rewriting with controlled embedding, Graph Transformation -8th International Conference, ICGT 2015, Held as Part of STAF 2015, pp.35-51, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01403189

A. Corradini, T. Heindel, F. Hermann, and B. König, Sesqui-pushout rewriting, Graph Transformations, Third International Conference, pp.30-45, 2006.

B. Courcelle, Graph rewriting: An algebraic and logic approach, Formal Models and Sematics (B), vol.B, pp.193-242, 1990.

N. Dershowitz and J. Jouannaud, Rewrite systems, Formal Models and Semantics, vol.B, pp.243-320, 1990.

N. Dershowitz and J. Jouannaud, Graph path orderings, LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, vol.57, pp.307-325, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01903086

N. Dershowitz and J. Jouannaud, Drags: A compositional algebraic framework for graph rewriting, Theor. Comput. Sci, vol.777, pp.204-231, 2019.
URL : https://hal.archives-ouvertes.fr/hal-01853138

F. Drewes, H. Kreowski, and A. Habel, Hyperedge replacement, graph grammars, pp.95-162

H. Ehrig, K. Ehrig, U. Prange, and G. Taentzer, Fundamentals of algebraic graph transformation, 2006.

H. Ehrig, R. Heckel, M. Korff, M. Löwe, L. Ribeiro et al., Algebraic approaches to graph transformation -part II: single pushout approach and comparison with double pushout approach, pp.247-312

H. Ehrig, M. Pfender, and H. Schneider, Graph-grammars: An algebraic approach, 14th Annual Symposium on Switching and Automata Theory, pp.167-180, 1973.

M. Fernández, H. Kirchner, and B. Pinaud, Strategic port graph rewriting: an interactive modelling framework, Mathematical Structures in Computer Science, vol.29, issue.5, pp.615-662, 2019.

A. Habel, H. Kreowski, and D. Plump, Jungle evaluation. Fundam. Inform, vol.15, issue.1, pp.37-60, 1991.

, Graph Transformation, Specifications, and Nets -In Memory of Hartmut Ehrig, vol.10800, 2018.

I. Hristakiev and D. Plump, A unification algorithm for GP 2 (long version, 2017.

G. Huet, Unification dans les langages d'ordre 1, 1976.

F. Orejas and L. Lambers, Symbolic attributed graphs for attributed graph transformation. ECEASST, 30, 2010.

F. Parisi-presicce, H. Ehrig, and U. Montanari, Graph rewriting with unification and composition. In Graph-Grammars and Their Application to Computer Science, pp.496-514, 1986.

M. Paterson and M. N. Wegman, Linear unification, J. Comput. Syst. Sci, vol.16, issue.2, pp.158-167, 1978.

D. Plump and A. Habel, Selected Papers of the 5th International Workshop on Graph Grammars and Their Application to, Lecture Notes in Computer Science, vol.1073, pp.75-88, 1994.

J. Raoult, On graph rewritings. Theor. Comput. Sci, vol.32, pp.1-24, 1984.

, Handbook of Graph Grammars and Computing by Graph Transformations, Foundations. World Scientific, vol.1, 1997.