@misc{indiciae050743598f00,
  title = {One-Variable Logic Meets Presburger Arithmetic},
  author = {Bartosz Bednarczyk},
  year = {2019},
  url = {https://arxiv.org/abs/1810.10899},
  note = {Source identifier: 1810.10899}
}