@misc{indiciaef5bf4fe40e51,
  title = {On the complexity of normalization for the planar \$λ\$-calculus},
  author = {Anupam Das and Damiano Mazza and Lê Thành Dũng Nguyên and Noam Zeilberger},
  year = {2024},
  url = {https://arxiv.org/abs/2404.05276},
  note = {Source identifier: 2404.05276}
}