Extended unification and its implementation - Hölldobler, Steffen 1957-2023; Furbach, Ulrich 1948-; Laußermair, Thomas (Bericht / Universität der Bundeswehr München, Fachbereich Informatik, 1985)