One-Parametric Presburger Arithmetic Has Quantifier Elimination.

Alessio Mansutti, Mikhail R. Starchak

Browse the full MFCS paper archive.