@article{CM_1975__31_1_23_0,
     author = {Baur, Walter},
     title = {Decidability and undecidability of theories of abelian groups with predicates for subgroups},
     journal = {Compositio Mathematica},
     pages = {23--30},
     publisher = {Noordhoff International Publishing},
     volume = {31},
     number = {1},
     year = {1975},
     mrnumber = {384525},
     zbl = {0335.02032},
     language = {en},
     url = {http://www.numdam.org/item/CM_1975__31_1_23_0/}
}