@workingPaper{HollunderNutt_1990, title={Subsumption algorithms for concept languages}, author={Hollunder, Bernhard and Nutt, Werner}, doi={http://dx.doi.org/10.22028/D291-24810}, year={1990} }