@article{FR21,
  author = {Anton Freund and Michael Rathjen},
  note = {article no. 102890, 49 pp},
  title = {Derivatives of normal functions in reverse mathematics},
  volume = {172},
  year = {2021},
  journal = {Annals of Pure and Applied Logic},
  number = {2},
}