Martin Buchheit, Francesco M. Donini, Andrea Schaerf. Decidable Reasoning in Terminological Knowledge Representation Systems. In IJCAI. pages 704-709, 1993.
@inproceedings{BuchheitDS93,
title = {Decidable Reasoning in Terminological Knowledge Representation Systems},
author = {Martin Buchheit and Francesco M. Donini and Andrea Schaerf},
year = {1993},
researchr = {https://researchr.org/publication/BuchheitDS93},
cites = {0},
citedby = {0},
pages = {704-709},
booktitle = {IJCAI},
}