The decision problem for exponential diophantine equations (0)

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