%0 Journal Article %1 journals/corr/abs-2004-08311 %A Alrabbaa, Christian %A Baader, Franz %A Borgwardt, Stefan %A Koopmann, Patrick %A Kovtunova, Alisa %D 2020 %J CoRR %K dblp %T Finding Small Proofs for Description Logic Entailments: Theory and Practice (Extended Technical Report). %U http://dblp.uni-trier.de/db/journals/corr/corr2004.html#abs-2004-08311 %V abs/2004.08311

@article{journals/corr/abs-2004-08311, added-at = {2020-04-21T00:00:00.000+0200}, author = {Alrabbaa, Christian and Baader, Franz and Borgwardt, Stefan and Koopmann, Patrick and Kovtunova, Alisa}, biburl = {https://www.bibsonomy.org/bibtex/2038e7ccd14fe464e36d531bf5c8acd46/dblp}, ee = {https://arxiv.org/abs/2004.08311}, interhash = {5c49ac7feabf676a6a86b42d0bc1aca1}, intrahash = {038e7ccd14fe464e36d531bf5c8acd46}, journal = {CoRR}, keywords = {dblp}, timestamp = {2020-04-22T11:39:05.000+0200}, title = {Finding Small Proofs for Description Logic Entailments: Theory and Practice (Extended Technical Report).}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2004.html#abs-2004-08311}, volume = {abs/2004.08311}, year = 2020 }