Jeroen Vermelyen

Julia Robinson and Hilbert's Tenth Problem

2008