Hilbert's Tenth Problem by Jan Denef, Leonard Lipshitz & Thanases Pheidas