de Vries. The adequacy of term graph rewriting for simulating term rewriting (1993)

by J R Kennaway, J W Klop, M R Sleep, F J
Venue:Term Graph Rewriting: Theory and Practice