Redex capturing in term graph rewriting (1990)

by William M Farmer, Ronald J Watro
Venue:Internat. J. Found. Comput. Sci