A hypertableau calculus for SHIQ (2007)

by B Motik, R Shearer, I Horrocks
Venue:In Proc. of DL-07, 419–426. Bozen/Bolzano