Unification in conditional-equational theories - Hußmann, Heinrich 1959-2022 (Universität <Passau>, 1985)