@workingPaper{BaaderHollunder_1993,
title={Embedding defaults into terminological knowledge representation formalisms},
author={Baader, Franz and Hollunder, Bernhard},
doi={http://dx.doi.org/10.22028/D291-24896},
year={1993}
}