@misc{das-2024-on,
  author = {Anupam Das and Damiano Mazza and Lê Thành Dũng Nguyên and Noam Zeilberger},
  title = {On the complexity of normalization for the planar λ-calculus},
  year = {2024},
  month = {4},
  eprint = {2404.05276},
  archiveprefix = {arXiv}
}