@misc{indiciae15929ec52b8a,
  title = {An estimation for the lengths of reduction sequences of the \$λμρθ\$-calculus},
  author = {Péter Battyányi and Karim Nour},
  year = {2018},
  doi = {10.23638/lmcs-14(2:17)2018},
  url = {https://arxiv.org/abs/1703.05930},
  note = {Source identifier: 1703.05930}
}