Extended unification and its implementation - Hölldobler, Steffen 1957-2023; Furbach, Ulrich 1948-; Laußermair, Thomas (Univ. d. Bundeswehr, Fachbereich Informatik, 1985)