Franz Baader, Jörg H. Siekmann. Unification theory. In Dov M. Gabbay, Christopher J. Hogger, J. A. Robinson, Jörg H. Siekmann, editors, Handbook of Logic in Artificial Intelligence and Logic Programming, Volume2, Deduction Methodologies. pages 41-126, Oxford University Press, 1994.
Abstract is missing.