Volume: Vol-4091 DL 2025 | Year: 2025

Paper: « paper44 | paper45 | paper46 »

The Shape of EL Proofs: A Tale of Three Calculi

• Christian Alrabbaa
• Stefan Borgwardt
• Philipp Herrmann
• Markus Krötzsch

PDF