Stefan Borgwardt, Anke Hirsch, Alisa Kovtunova, Frederik Wiehr. In the Eye of the Beholder: Which Proofs are Best?. In Stefan Borgwardt, Thomas Meyer 0002, editors, Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Online Event [Rhodes, Greece], September 12th to 14th, 2020. Volume 2663 of CEUR Workshop Proceedings, CEUR-WS.org, 2020. [doi]
@inproceedings{BorgwardtHKW20,
title = {In the Eye of the Beholder: Which Proofs are Best?},
author = {Stefan Borgwardt and Anke Hirsch and Alisa Kovtunova and Frederik Wiehr},
year = {2020},
url = {http://ceur-ws.org/Vol-2663/paper-6.pdf},
researchr = {https://researchr.org/publication/BorgwardtHKW20},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Online Event [Rhodes, Greece], September 12th to 14th, 2020},
editor = {Stefan Borgwardt and Thomas Meyer 0002},
volume = {2663},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}