Bernhard Hollunder. Consistency Checking Reduced to Satisfiability of Concepts in Terminological Systems. Annals of Mathematics and Artificial Intelligence, 18(2-4):133-157, 1996.
No references recorded for this publication.
No citations of this publication recorded.