@workingPaper{BaaderSchulz_1991, title={Unification in the union of disjoint equational theories : combining decision procedures}, author={Baader, Franz and Schulz, Klaus}, doi={http://dx.doi.org/10.22028/D291-24828}, year={1991} }