@misc{indiciaeaff8dedc5c1e,
  title = {Some arithmetical problems that are obtained by analyzing proofs and infinite graphs},
  author = {Lorenzo Sauras-Altuzarra},
  year = {2020},
  url = {https://arxiv.org/abs/2002.03075},
  note = {Source identifier: 2002.03075}
}