Groups definable in Presburger arithmetic
scientific article; zbMATH DE number 7921874