Model theory of finite-by-Presburger Abelian groups and finite extensions of $p$-adic fields (arXiv, 2016)

(untitled) - Derakhshan, J; Macintyre, A