Equational term graph rewriting (1996)

by Zena M. Ariola, Jan Willem Klop
Venue:FUNDAMENTA INFORMATICAE