Decidability and undecidability for theories of abelian groups with predicates for subgroups (1975)

by W Baur
Venue:Composition Math