1. Decidability and undecidability of theories of abelian groups with predicates for subgroups;Baur;Compositio Math.,1975
2. The elementary theory of abelian groups;Eklof;Ann. Math. Logic,1972
3. Abelian structures I;Fisher,1977
4. Problems of linear algebra and classification of quadruples of subspaces in a finite dimensional vector space;Gelfand,1970
5. Aspects logique de la purelé dans les modules;Sabbagh;C.R. Acad. Sci.,1970