Equational term graph rewriting (1996)

by Z M Ariola, J W Klop
Venue:Fundam. Inf