Tsarkov, et al.. Optimizing Terminological Reasoning for Expressive Description Logics. Springer Nature, June 2007, doi:10.1007/s10817-007-9077-y.