An empirical comparison of three EL calculi shows proof shape varies predictably with rule design, with an accompanying new algorithm for directed cutwidth on trees.
Title resolution pending
1 Pith paper cite this work, alongside 125 external citations. Polarity classification is still indexing.
1
Pith paper citing it
125
external citations · OpenAlex
citation-role summary
background 1
citation-polarity summary
fields
cs.LO 1years
2025 1verdicts
CONDITIONAL 1roles
background 1polarities
unclear 1representative citing papers
citing papers explorer
-
The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version)
An empirical comparison of three EL calculi shows proof shape varies predictably with rule design, with an accompanying new algorithm for directed cutwidth on trees.