Optimising description logic subsumption (1999)

by I Horrocks, P Patel-Schneider
Venue:Journal of Logic and Computation