Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova. Finding Small Proofs for Description Logic Entailments: Theory and Practice. In Elvira Albert, Laura Kovács, editors, LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Alicante, Spain, May 22-27, 2020. Volume 73 of EPiC Series in Computing, pages 32-67, EasyChair, 2020. [doi]
Abstract is missing.