TY  - RPRT
TI  - One-Parametric Presburger Arithmetic has Quantifier Elimination
AU  - Alessio Mansutti
AU  - Mikhail R. Starchak
PY  - 2025
UR  - https://arxiv.org/abs/2506.23730
ID  - 2506.23730
ER  -