John Goodrick2026-03-222026-03-22201710.1007/s00153-017-0593-0https://doi.org/10.1007/s00153-017-0593-0https://andeanlibrary.org/handle/123456789/83922enPresburger arithmeticDivisibility ruleBounding overwatchQuantifier eliminationMathematicsParametric statisticsQuantifier (linguistics)Bounded functionDiscrete mathematicsArithmeticBounding quantification in parametric expansions of Presburger arithmeticpreprint