Socher-Ambrosius, Rolf Programming Logics, MPI for Informatics, Max Planck Society;
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.