P. Balbiani, R. Echahed, and A. Herzig, A Dynamic Logic for Termgraph Rewriting, ) ICGT. LNCS, pp.59-74, 2010.
DOI : 10.1007/978-3-642-15928-2_5
URL : https://hal.archives-ouvertes.fr/hal-00940868

Z. M. Ariola and J. W. Klop, Lambda Calculus with Explicit Recursion, Information and Computation, vol.139, issue.2, pp.154-233, 1997.
DOI : 10.1006/inco.1997.2651

H. Barendregt, M. Van-eekelen, J. Glauert, J. Kennaway, M. Plasmeijer et al., Term graph rewriting, PARLE Parallel Architectures and Languages Europe, pp.141-158, 1987.
DOI : 10.1007/3-540-17945-3_8

D. Harel, D. Kozen, and J. Tiuryn, Dynamic logic. Handbook of Philosophical Logic, pp.497-604, 1984.