Vries. On the Adequacy of Graph Rrewriting for Simulating Term Rewriting (1994)

by J R Kennaway, J W Klop, M R Sleep, F J de
Venue:ACM Trans. Program. Lang. Syst