Equations and rewrite rules: a survey, In: (1980)

by G Huet, D C Oppen
Venue:Formal Language TheoT: Perspectives and Open Problems