@inproceedings{HR21,
  title = "On the Expressiveness of {B}{\"u}chi Arithmetic",
  author = "Christoph Haase and Jakub R{\'o}{\.{z}}ycki",
  year = "2021",
  booktitle = "Foundations of Software Science and Computation Structures, {FOSSACS}",
  note = "To appear",
  publisher = "Springer",
  series = "Lect. Notes Comp. Sci.",
}