Unification Theory

Jörg H. Siekmann. Unification Theory. Journal of Symbolic Computation, 7(3/4):207-274, 1989.

Abstract

Abstract is missing.