Unions of non-disjoint theories and combinations of satisfiability procedures

Lecture Notes in Artificial Intelligence

Patrick Brézillon, Paolo Bouquet · 1999 · 7.4K citations

Artificial Intelligence, Engineering, Automated Reasoning +4

Constraint logic programming: a survey

Joxan Jaffar, Michael J. Maher · The Journal of Logic Programming · 1994 · 1.3K citations

Mathematical Programming, Constraint Solving, Engineering +8

Simplification by Cooperating Decision Procedures

Greg Nelson, Derek C. Oppen · ACM Transactions on Programming Languages and Systems · 1979 · 891 citations · Full text

Decision Procedure, Engineering, Automated Reasoning +14

Order-sorted algebra I: equational deduction for multiple inheritance, overloading, exceptions and partial operations

Joseph A. Goguen, José Meseguer · Theoretical Computer Science · 1992 · 461 citations

Order Theory, Algebraic Logic, Abstract Algebra +6

Completion of a Set of Rules Modulo a Set of Equations

Jean-Pierre Jouannaud · SIAM Journal on Computing · 1986 · 372 citations