@misc{indiciae8f3f2c1fcab9,
  title = {An efficient quantifier elimination procedure for Presburger arithmetic},
  author = {Christoph Haase and Shankara Narayanan Krishna and Khushraj Madnani and Om Swostik Mishra and Georg Zetzsche},
  year = {2024},
  url = {https://arxiv.org/abs/2405.01183},
  note = {Source identifier: 2405.01183}
}