The theory of abelian p-groups with the quantifier I is decidable
Tom 108 / 1980
Fundamenta Mathematicae 108 (1980), 183-197
DOI: 10.4064/fm-108-3-183-197
