Combination of unification algorithms

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

Matching - A special case of unification?

Journal of Symbolic Computation

Combining matching algorithms: The regular case

Journal of Symbolic Computation

On solving equations and disequations

Journal of the ACM (JACM)

Combining constraint solving

Constraints in computational logics

Unions of non-disjoint theories and combinations of satisfiability procedures

Theoretical Computer Science

Set unification

Theory and Practice of Logic Programming

Fast sort computations for order-sorted matching and unification

Formal modeling