TY  - JOUR
AU  - Baur, Walter
TI  - Decidability and undecidability of theories of abelian groups with predicates for subgroups
JO  - Compositio Mathematica
PY  - 1975
SP  - 23
EP  - 30
VL  - 31
IS  - 1
PB  - Noordhoff International Publishing
UR  - http://www.numdam.org/item/CM_1975__31_1_23_0/
LA  - en
ID  - CM_1975__31_1_23_0
ER  -