@misc{indiciae1e37be38a957,
  title = {Friedman's "Long Finite Sequences'': The End of the Busy Beaver Contest},
  author = {Michael Vielhaber and Mónica del Pilar Canales Chacón and Sergio Jara Ceballos},
  year = {2023},
  url = {https://arxiv.org/abs/2303.02855},
  note = {Source identifier: 2303.02855}
}