Socher-Ambrosius, R. (1994). A Refined Version of General E-Unification. In A., Bundy (Ed.), Proceedings of the 12th International Conference on Automated Deduction (CADE-12) (pp. 665-677). Berlin, Germany: Springer.