1. Elimination of quantifiers for modules;Baur;Israel J. Math.,1976
2. Théorie des modelès: Modules existentiellement clos: types et modèles premiers;Bouscaren,1979
3. Existentially closed modules: types and prime models;Bouscaren,1980
4. Model completions and modules;Eklof;Ann. Math. Logic,1971