A class of confluent term rewriting systems and unification

This publication has 8 references indexed in Scilit:

• Equational logic programming
  Published by Association for Computing Machinery (ACM) ,1986
• Unification in conditional-equational theories
  Published by Springer Nature ,1985
• Equality, types, modules, and (why not?) generics for logic programming
  The Journal of Logic Programming, 1984
• Universal Unification
  Published by Springer Nature ,1984
• Complete Sets of Reductions for Some Equational Theories
  Journal of the ACM, 1981
• Canonical Forms and Unification.
  Published by Defense Technical Information Center (DTIC) ,1980
• Simple Word Problems in Universal Algebras††The work reported in this paper was supported in part by the U.S. Office of Naval Research.
  Published by Elsevier ,1970
• A Machine-Oriented Logic Based on the Resolution Principle
  Journal of the ACM, 1965