1. Undecidability of the theory of abelian groups with a subgroup;Baur;Proc. Am. Math. Soc.,1976
2. Quantifier elimination in ordered abelian groups;Cluckers;Confluentes Math.,2011
3. C-minimal structures without density assumption;Delon,2011
4. Infinite Abelian Groups, vol. 1;Fuchs,1970
5. The Decision Problem for Some Algebraic Theories;Gurevic,1968