Unification in the union of disjoint equational theories: Combining decision procedures

This publication has 21 references indexed in Scilit:

• Rewrite Systems
  Published by Elsevier ,1990
• Unification in a combination of equational theories: an efficient algorithm
  Published by Springer Nature ,1990
• A resolution principle for clauses with constraints
  Published by Springer Nature ,1990
• Constrained equational reasoning
  Published by Association for Computing Machinery (ACM) ,1989
• Unification in Abelian semigroups
  Journal of Automated Reasoning, 1987
• Constraint logic programming
  Published by Association for Computing Machinery (ACM) ,1987
• Completion of a Set of Rules Modulo a Set of Equations
  SIAM Journal on Computing, 1986
• Some relationships between unification, restricted unification, and matching
  Published by Springer Nature ,1986
• Combination of unification algorithms
  Published by Springer Nature ,1986
• A theory of complete logic programs with equality
  The Journal of Logic Programming, 1984