1. Defining the integers in large rings of number fields using one universal quantifier;Cornelissen;Zap. Nauč. Semin. POMI,2008
2. Division-ample sets and diophantine problem for rings of integers;Cornelissen;J. Théor. Nr. Bordx.,2005
3. Vanishing of L-Functions of Elliptic Curves over Number Fields;David,2007
4. Hilbert's tenth problem is unsolvable;Davis;Am. Math. Mon.,1973