@misc{indiciaef38e7ec41171,
  title = {Non-wellfounded parsimonious proofs and non-uniform complexity},
  author = {Matteo Acclavio and Gianluca Curzi and Giulio Guerrieri},
  year = {2025},
  url = {https://arxiv.org/abs/2404.03311},
  note = {Source identifier: 2404.03311}
}