Complete sets of unifiers and matchers in equational theories

Unification: a multidisciplinary survey

ACM Computing Surveys (CSUR)

Inheritance hierarchies: Semantics and unification

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

Higher-order unification revisited: Complete sets of transformations

Journal of Symbolic Computation

Unification in commutative theories

Journal of Symbolic Computation

Solving word equations

Journal of Symbolic Computation

Matching - A special case of unification?

Journal of Symbolic Computation

Order-sorted unification

Journal of Symbolic Computation

Unification in commutative theories, Hilbert's basis theorem, and Gröbner bases

Journal of the ACM (JACM)

On solving equations and disequations

Journal of the ACM (JACM)

Dimension inference under polymorphic recursion

FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture

Constraint solving on terms

Constraints in computational logics

Modal theorem proving: an equational viewpoint

IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1

Mathematical Service Trading Based on Equational Matching

Electronic Notes in Theoretical Computer Science (ENTCS)

A structured connectionist unification algorithm

AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1