From Unification in Combination of Equational Theories to a New AC-Unification Algorithm

This publication has 13 references indexed in Scilit:

• Improving basic narrowing techniques
  Published by Springer Nature ,1987
• On equational theories, unification and decidability
  Published by Springer Nature ,1987
• Completion for rewriting modulo a congruence
  Published by Springer Nature ,1987
• Completion of a Set of Rules Modulo a Set of Equations
  SIAM Journal on Computing, 1986
• NARROWER: a new algorithm for unification and its application to Logic Programming
  Lecture Notes in Computer Science, 1985
• Unification problems with one-sided distributivity
  Published by Springer Nature ,1985
• Two results in term rewriting theorem proving
  Published by Springer Nature ,1985
• An Efficient Unification Algorithm
  ACM Transactions on Programming Languages and Systems, 1982
• An algorithm to generate the basis of solutions to homogeneous linear diophantine equations
  Information Processing Letters, 1978
• Linear unification
  Journal of Computer and System Sciences, 1978