@article{10_4064_fm_108_3_183_197,
     author = {Andreas Baudisch},
     title = {The theory of abelian p-groups with the quantifier {I} is decidable},
     journal = {Fundamenta Mathematicae},
     pages = {183--197},
     publisher = {mathdoc},
     volume = {108},
     number = {3},
     year = {1980},
     doi = {10.4064/fm-108-3-183-197},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.4064/fm-108-3-183-197/}
}