Model theory of finite-by-Presburger Abelian groups and finite extensions of p-adic fields - Derakhshan, J; Macintyre, A (arXiv, 2016)