%0 Journal Article
%A Baur, Walter
%T Decidability and undecidability of theories of abelian groups with predicates for subgroups
%J Compositio Mathematica
%D 1975
%P 23-30
%V 31
%N 1
%I Noordhoff International Publishing
%U http://www.numdam.org/item/CM_1975__31_1_23_0/
%G en
%F CM_1975__31_1_23_0