An Improved General E-Unification Method

Daniel J. Dougherty, Patricia Johann. An Improved General E-Unification Method. Journal of Symbolic Computation, 14(4):303-320, 1992.

Abstract

Abstract is missing.