Franz Baader Ralf Molitor Rewriting in Description Logics Using Terminologies. 1999 conf/dlog/1999 Description Logics http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/Vol-22/baadermolitor.ps db/conf/dlog/dlog1999.html#BaaderM99