Michael Mendler Stephan Scheele Exponential Speedup in UL Subsumption Checking relative to general TBoxes for the Constructive Semantics. 2009 Description Logics http://ceur-ws.org/Vol-477/paper_8.pdf conf/dlog/2009 db/conf/dlog/dlog2009.html#MendlerS09