TY  - RPRT
TI  - Superpolynomial Length Lower Bounds for Tree-Like Semantic Proof Systems with Bounded Line Size
AU  - Susanna F. de Rezende
AU  - David Engström
AU  - Yassine Ghannane
AU  - Kilian Risse
PY  - 2026
UR  - https://arxiv.org/abs/2604.28172
ID  - 2604.28172
ER  -