@misc{indiciae3fcbc095f279,
  title = {Decidable Reasoning in Terminological Knowledge Representation Systems},
  author = {M. Buchheit and F. M. Donini and A. Schaerf},
  year = {1993},
  url = {https://arxiv.org/abs/cs/9312101},
  note = {Source identifier: cs/9312101}
}