Universal unification and a classification of equational theories - Siekmann, Jörg H.; Szabó, Peter 1946- (1982)