Superpolynomial Length Lower Bounds for Tree-Like Semantic Proof Systems with Bounded Line Size. - Susanna F. de Rezende; David Engström; Yassine Ghannane; Kilian Risse (CoRR, 2026)