@article{Hirst93,
  title = {Derived Sequences and Reverse Mathematics},
  author = {Jeffry L. Hirst},
  year = {1993},
  researchr = {https://researchr.org/publication/Hirst93},
  cites = {0},
  citedby = {0},
  journal = {Math. Log. Q.},
  volume = {39},
  pages = {447-453},
}