Huet G. and D. Oppen. "Equations and rewrite rules: a survey" in R. Book, editor. Formal Languages: Perspectives and Open Problems. Academic Press, 1980

Languages mentioned

• ELP {1975}