Complete Sets of Unifiers and Matchers in Equational Theories (1986)

by F Fages, G Huet
Venue:Journal of Theoretical Computer Science