@workingPaper{Baader_1990,
title={Terminological cycles in KL-ONE-based knowledge representation languages},
author={Baader, Franz},
doi={http://dx.doi.org/10.22028/D291-24776},
year={1990}
}