@misc{indiciaed525ace93b83,
  title = {Fast Goodstein Walks},
  author = {David Fernández-Duque and Andreas Weiermann},
  year = {2022},
  url = {https://arxiv.org/abs/2111.15328},
  note = {Source identifier: 2111.15328}
}