Lugar de publicación Uniform existential interpretation of arithmetic in rings of functions of positive characteristic. 196:453-484. 2014