1. Introduction to Commutative Algebra;Atiyah,1969
2. Quantifier elimination in valued Ore modules;Bélair;J. Symb. Log.,2010
3. Embedding theorems for Abelian groups with valuations;Conrad;Am. J. Math.,1953
4. Quantifier elimination for linear formulas over ordered and valued fields;van den Dries;Bull. Soc. Math. Belg., Sér. B,1981
5. Elimination theory for algebraic integers;van den Dries;J. Reine Angew. Math.,1988