Complete sets of unifiers and matchers in equational theories (1986)

by F Fages, G Huet
Venue:Theoretical Computer Science