An improved general $E$-unification method. Dougherty, D. J.\ & Johann, P. Journal of Symbolic Computation, 14(4):303--320, 1992.
An improved general $E$-unification method [pdf]Paper  abstract   bibtex   
A generalization of Paramodulation is defined and shown to lead to a complete E-unification method for arbitrary equational theories E. The method is defined in terms of transformations on systems, building upon and refining results of Gallier and Snyder.

Downloads: 0