See http://www.math.leidenuniv.nl/~evertse/publications.shtml