Unification in Boolean rings

Boolean unification - The story so far

Journal of Symbolic Computation

Unification in primal algebras, their powers and their varieties

Journal of the ACM (JACM)

Constraint query languages (preliminary report)

PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems

Set unification

Theory and Practice of Logic Programming