@misc{indiciae5f7d120e5f0b,
  title = {Groups definable in Presburger arithmetic},
  author = {Juan Pablo Acosta López},
  year = {2021},
  url = {https://arxiv.org/abs/1904.00321},
  note = {Source identifier: 1904.00321}
}