1. G. Cherlin, F. Point, On extensions of Presburger arithmetic, in: Proc. Fourth Easter Conf. on Model Theory, Humboldt Univ., 1986, pp. 17–34.
2. Hilbert’s tenth problem is unsolvable;Davis;Amer. Math. Monthly,1973
3. Q muni de l’arithmétique faible de Penzin est décidable;Delon;Proc. Amer. Math. Soc.,1997
4. The Diophantine Problem for Polynomial Rings of Positive Characteristic;Denef,1984
5. A Mathematical Introduction to Logic;Enderton,2001