Véronique Royer Joachim Quantz Deriving Inference Rules for Terminological Logics. 84-105 1992 conf/jelia/1992 JELIA db/conf/jelia/jelia92.html#RoyerQ92 http://dx.doi.org/10.1007/BFb0023423