On the scalability of description logic instance retrieval. (2008)

by V Haarslev, R Moller
Venue:J. Autom. Reason.