On Variable-Bounded Non-Linear Expansions of Presburger Arithmetic. - Piotr Bacik; Joris Nieuwveld; Joël Ouaknine; Mihir Vahanwala; Madhavan Venkatesh; Emil Rugaard Wieser (CoRR, 2026)