Unification in a Combination of Equational Theories with Shared Constants and its Application to Primal Algebras

Combining constraint solving

Constraints in computational logics

Unions of non-disjoint theories and combinations of satisfiability procedures

Theoretical Computer Science

A Tableau Calculus for Combining Non-disjoint Theories

TABLEAUX '02 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods

Deciding the Word Problem in the Union of Equational Theories Sharing Constructors

RtA '99 Proceedings of the 10th International Conference on Rewriting Techniques and Applications

Hierarchical combination

CADE'13 Proceedings of the 24th international conference on Automated Deduction