Franz Baader Ralf Küsters Unification in a Description Logic with Transitive Closure of Roles. 2001 conf/dlog/2001 Description Logics https://ceur-ws.org/Vol-49/BaaderKuesters-36start.ps db/conf/dlog/dlog2001.html#BaaderK01