@workingPaper{BaaderSchulz_1993,
title={Combination techniques and decision problems for disunification},
author={Baader, Franz and Schulz, Klaus U.},
doi={http://dx.doi.org/10.22028/D291-24989},
year={1993}
}