A classification of unification problems in many-sorted theories - Walther, Christoph 1950- (1985)