The decision problem for exponential diophantine equations (1961)

by M Davis, H Putnam, J Robinson
Venue:Ann. of Math