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.
No references recorded for this publication.
No citations of this publication recorded.