Complete Sets of Unifiers and Matchers in Equational Theories

F. Fages,G. Huet
DOI: https://doi.org/10.1007/3-540-12727-5_12
1983-03-09
Abstract:
What problem does this paper attempt to address?