%0 Conference Paper %1 conf/dlog/AlrabbaaBBKK20 %A Alrabbaa, Christian %A Baader, Franz %A Borgwardt, Stefan %A Koopmann, Patrick %A Kovtunova, Alisa %B Description Logics %D 2020 %E Borgwardt, Stefan %E Meyer, Thomas %I CEUR-WS.org %K dblp %T On the Complexity of Finding Good Proofs for Description Logic Entailments. %U http://dblp.uni-trier.de/db/conf/dlog/dlog2020.html#AlrabbaaBBKK20 %V 2663

@inproceedings{conf/dlog/AlrabbaaBBKK20, added-at = {2023-03-10T00:00:00.000+0100}, author = {Alrabbaa, Christian and Baader, Franz and Borgwardt, Stefan and Koopmann, Patrick and Kovtunova, Alisa}, biburl = {https://www.bibsonomy.org/bibtex/2d960d70d9cb773d562c81b927b26406b/dblp}, booktitle = {Description Logics}, crossref = {conf/dlog/2020}, editor = {Borgwardt, Stefan and Meyer, Thomas}, ee = {https://ceur-ws.org/Vol-2663/paper-1.pdf}, interhash = {a565a005d89d7f38fcee886c59d5ec7a}, intrahash = {d960d70d9cb773d562c81b927b26406b}, keywords = {dblp}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-10T00:59:33.000+0200}, title = {On the Complexity of Finding Good Proofs for Description Logic Entailments.}, url = {http://dblp.uni-trier.de/db/conf/dlog/dlog2020.html#AlrabbaaBBKK20}, volume = 2663, year = 2020 }