@misc{indiciae38ad4449c2c6, title = {The complexity of Presburger arithmetic with power or powers}, author = {Michael Benedikt and Dmitry Chistikov and Alessio Mansutti}, year = {2026}, url = {https://arxiv.org/abs/2305.03037}, note = {Source identifier: 2305.03037} }