%0 Conference Paper %1 conf/lpar/AlrabbaaBBKK20 %A Alrabbaa, Christian %A Baader, Franz %A Borgwardt, Stefan %A Koopmann, Patrick %A Kovtunova, Alisa %B LPAR %D 2020 %E Albert, Elvira %E Kovács, Laura %I EasyChair %K dblp %P 32-67 %T Finding Small Proofs for Description Logic Entailments: Theory and Practice. %U http://dblp.uni-trier.de/db/conf/lpar/lpar2020.html#AlrabbaaBBKK20 %V 73

@inproceedings{conf/lpar/AlrabbaaBBKK20, added-at = {2023-09-30T00: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/2502cbcb0135a1cb30c3fad076b94b346/dblp}, booktitle = {LPAR}, crossref = {conf/lpar/2020}, editor = {Albert, Elvira and Kovács, Laura}, ee = {https://doi.org/10.29007/nhpp}, interhash = {a1d8608b11ea01084abdd6574c071736}, intrahash = {502cbcb0135a1cb30c3fad076b94b346}, keywords = {dblp}, pages = {32-67}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2024-04-09T10:16:07.000+0200}, title = {Finding Small Proofs for Description Logic Entailments: Theory and Practice.}, url = {http://dblp.uni-trier.de/db/conf/lpar/lpar2020.html#AlrabbaaBBKK20}, volume = 73, year = 2020 }