Equations and rewrite rules - a survey (1980)

by G Huet, D C Oppen
Venue:In Formal Language Theory - Perspectives and Open Problems