Deriving Inference Rules for Terminological Logics.

Vronique Royer, Joachim Quantz

Browse the full JELIA paper archive.