Manfred Schmidt-Schauß Unification in a Combination of Arbitrary Disjoint Equational Theories. 51-99 1989 8 J. Symb. Comput. 1/2 db/journals/jsc/jsc8.html#Schmidt-Schauss89