@workingPaper{Schmidt-Schauß_1988,
title={Subsumption in KL-One is Undecidable},
author={Schmidt-Schauß, Manfred},
doi={http://dx.doi.org/10.22028/D291-40192},
adress={Kaiserslautern},
year={1988}
}