Optimized reasoning in description logics using hypertableaux, in: F. Pfenning (Ed (0)

by B Motik, R Shearer, I Horrocks
Venue:Proc. of the 21st Int. Conf. on Automated Deduction (CADE’07