Hypertableau reasoning for description logics. (2009)

by Boris Motik, Rob Shearer, Ian Horrocks
Venue:J. Artif. Intell. Res. (JAIR),