|
352
|
Simplification by cooperating decision procedures
– Greg Nelson, Derek C. Oppen
- 1979
|
|
20
|
Deciding the Word Problem in the Union of Equational Theories
– Franz Baader, Cesare Tinelli
- 2001
|
|
27
|
Combining matching algorithms: The regular case
– T Nipkow
- 1991
|
|
21
|
A New Approach for Combining Decision Procedures for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method
– Franz Baader, Cesare Tinelli
- 1997
|
|
98
|
Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures
– F Baader, K U Schulz
- 1996
|
|
15
|
Unification in a combination of equational theories with shared constants and its application to Primal Algebras
– Christophe Ringeissen
- 1992
|
|
13
|
The join of equational theories
– D Pigozzi
- 1974
|
|
57
|
A New Correctness Proof of the Nelson-Oppen Combination Procedure
– Cesare Tinelli, Mehdi Harandi
- 1996
|
|
29
|
Unions of Non-Disjoint Theories and Combinations of Satisfiability Procedures
– Cesare Tinelli, Christophe Ringeissen
- 2001
|
|
824
|
Term Rewriting and All That
– F Baader, T Nipkow
- 1998
|
|
32
|
Complexity, convexity and combinations of theories
– Derek C Oppen
- 1980
|
|
13
|
Combining satisfiability procedures by equality-sharing
– Greg Nelson
- 1984
|
|
22
|
Combination of constraint solvers for free and quasi-free structures. Theoretical Computer Science
– Franz Baader, Klaus U Schulz
- 1998
|
|
16
|
Combination of Constraint Solving Techniques: An Algebraic Point of View
– Franz Baader, Klaus U. Schulz
|
|
9
|
Combining word problems through rewriting in categories with products
– C Fiorentini, S Ghilardi
- 2003
|
|
27
|
Combining Symbolic Constraint Solvers on Algebraic Domains
– Helene Kirchner, Christophe Ringeissen
- 1994
|
|
21
|
Combination Techniques and Decision Problems for Disunification
– Franz Baader, Klaus U. Schulz
|
|
5
|
Model Theory, volume 42 of Enclyclopedia of mathematics and its applications
– Wilfrid Hodges
- 1993
|
|
163
|
Fast decision procedures based on congruence closure
– Greg Nelson, Derek, C. Oppen
- 1980
|
