@misc{indiciae9991db938a5c,
  title = {Derivatives of normal functions in reverse mathematics},
  author = {Anton Freund and Michael Rathjen},
  year = {2021},
  doi = {10.1016/j.apal.2020.102890},
  url = {https://arxiv.org/abs/1904.04630},
  note = {Source identifier: 1904.04630}
}