Definability and decision problems in arithmetic (1949)

by Julia Robinson
Venue:J. Symbolic Logic