CoRR
, December 1993
Martin Buchheit
,
Francesco M. Donini
,
Andrea Schaerf
:
Decidable Reasoning in Terminological Knowledge Representation Systems.
, (informal publication)
Electronic Edition
(link)
BibTeX
[cs.AI/9312101]
Copyright ©
Sat May 16 23:53:55 2009 by
Michael Ley
(
ley@uni-trier.de
)