Optimized Reasoning in Description Logics Using Hypertableaux.

Boris Motik, Robert D. C. Shearer, Ian Horrocks

Browse the full CADE paper archive.