@misc{indiciaeaa21c126ea8b,
  title = {The Proof Analysis Problem for Constant-Depth Frege},
  author = {Noel Arteche and Susanna F. de Rezende and Erfan Khaniki and Kilian Risse},
  year = {2026},
  url = {https://arxiv.org/abs/2611.08305},
  note = {Source identifier: 2611.08305}
}