Finding Small Proofs for Description Logic Entailments: Theory and Practice.

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

Browse the full LPAR paper archive.