Unification in combinations of collapse-free theories with disjoint sets of function symbols

Boolean unification - The story so far

Journal of Symbolic Computation

On equational theories, unification, and (Un)decidability

Journal of Symbolic Computation

Unification in a combination of arbitrary disjoint equational theories

Journal of Symbolic Computation

Unification in Boolean Rings and Abelian Groups

Journal of Symbolic Computation

Unification in primal algebras, their powers and their varieties

Journal of the ACM (JACM)

Combining matching algorithms: The regular case

Journal of Symbolic Computation

Combining constraint solving

Constraints in computational logics

A Methodological View of Constraint Solving

Constraints

Set unification

Theory and Practice of Logic Programming

Hierarchical combination

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