Buchheit et al. "Decidable Reasoning in Terminological Knowledge Representation Systems." Journal of Artificial Intelligence Research, 1993. doi:10.1613/JAIR.21
Markdown
[Buchheit et al. "Decidable Reasoning in Terminological Knowledge Representation Systems." Journal of Artificial Intelligence Research, 1993.](https://mlanthology.org/jair/1993/buchheit1993jair-decidable/) doi:10.1613/JAIR.21
BibTeX
@article{buchheit1993jair-decidable,
title = {{Decidable Reasoning in Terminological Knowledge Representation Systems}},
author = {Buchheit, Martin and Donini, Francesco M. and Schaerf, Andrea},
journal = {Journal of Artificial Intelligence Research},
year = {1993},
pages = {109-138},
doi = {10.1613/JAIR.21},
volume = {1},
url = {https://mlanthology.org/jair/1993/buchheit1993jair-decidable/}
}