Christian Alrabbaa, Stefan Borgwardt, Philipp Herrmann, Markus Krötzsch. The Shape of EL Proofs: A Tale of Three Calculi. In Lidia Tendera, Yazmín Ibáñez García, Patrick Koopmann, editors, Proceedings of the 38th International Workshop on Description Logics - DL 2025, Opole, Poland, September 3-6, 2025. Volume 4091 of CEUR Workshop Proceedings, CEUR-WS.org, 2025. [doi]
@inproceedings{AlrabbaaBHK25,
title = {The Shape of EL Proofs: A Tale of Three Calculi},
author = {Christian Alrabbaa and Stefan Borgwardt and Philipp Herrmann and Markus Krötzsch},
year = {2025},
url = {https://ceur-ws.org/Vol-4091/paper45.pdf},
researchr = {https://researchr.org/publication/AlrabbaaBHK25},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 38th International Workshop on Description Logics - DL 2025, Opole, Poland, September 3-6, 2025},
editor = {Lidia Tendera and Yazmín Ibáñez García and Patrick Koopmann},
volume = {4091},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}