@misc{indiciae137a8f13d090,
  title = {On the Expressiveness of Büchi Arithmetic},
  author = {Christoph Haase and Jakub Różycki},
  year = {2021},
  url = {https://arxiv.org/abs/2010.12892},
  note = {Source identifier: 2010.12892}
}