De Vries. On the adequacy of graph rewriting for simulating term rewriting (1994)

by J R Kennaway, J K Klop, M R Sleep, F J
Venue:ACM Transactions on Programming Languages and Systems