1. Real Algebraic Geometry;Bochnak,1998
2. An Introduction to Convex Polytopes;Brøndsted,1983
3. Presburger sets and P-minimal fields;Cluckers;Ann. Pure Appl. Logic,2003
4. A version of p-adic minimality;Cluckers;Ann. Pure Appl. Logic,2012
5. p-Adic semi-algebraic sets and cell decomposition;Denef;J. Reine Angew. Math.,1986