@article{Fre20h,
  title = {What is effective transfinite recursion in reverse mathematics?},
  pages = {479-483},
  journal = {Mathematical Logic Quarterly},
  number = {4},
  year = {2020},
  volume = {66},
  author = {Anton Freund},
}