Anni-Yasmin Turhan Ralf Molitor Using Lazy Unfolding for the Computation of Least Common Subsumers. 2001 conf/dlog/2001 Description Logics http://CEUR-WS.org/Vol-49/TurhanMolitor-86start.ps db/conf/dlog/dlog2001.html#TurhanM01