1. Hilbert's tenth problem is unsolvable;Davis;Amer. Math. Monthly,1973
2. Primitive divisors of Lucas numbers;Kiss,1988
3. An extended theory of Lucas functions;Lehmer;Ann. of Math.,1930
4. Diophantine sets;Matiyasevich;Uspekhi Mat. Nauk,1972
5. A new formula for π;Matiyasevich;Amer. Math. Monthly,1986