Finding Good Proofs for Description Logic Entailments using Recursive Quality Measures.

Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova

Browse the full CADE paper archive.