@misc{indiciae43be27137b93,
  title = {Superpolynomial Length Lower Bounds for Tree-Like Semantic Proof Systems with Bounded Line Size},
  author = {Susanna F. de Rezende and David Engström and Yassine Ghannane and Kilian Risse},
  year = {2026},
  url = {https://arxiv.org/abs/2604.28172},
  note = {Source identifier: 2604.28172}
}