Combination of constraint solvers for free and quasi-free structures

This publication has 27 references indexed in Scilit:

• How to win a game with features
  Published by Springer Nature ,2005
• Unification in a combination of equational theories with shared constants and its application to primal algebras
  Published by Springer Nature ,2005
• Records for logic programming
  The Journal of Logic Programming, 1994
• Universal domains and the amalgamation property
  Mathematical Structures in Computer Science, 1993
• Generalized varieties
  Algebra universalis, 1993
• An introduction to Prolog III
  Communications of the ACM, 1990
• DECIDABILITY OF THE POSITIVE THEORY OF A FREE COUNTABLY GENERATED SEMIGROUP
  Mathematics of the USSR-Sbornik, 1983
• A Unification Algorithm for Associative-Commutative Functions
  Journal of the ACM, 1981
• Simplification by Cooperating Decision Procedures
  ACM Transactions on Programming Languages and Systems, 1979
• A Practical Decision Procedure for Arithmetic with Function Symbols
  Journal of the ACM, 1979