Handling Computational Difficulties with Reasoning in Terminological Logics

Peter F. Patel-Schneider. Handling Computational Difficulties with Reasoning in Terminological Logics. In Description Logics. pages 93-96, 1991.

Abstract

Abstract is missing.