The Decision Problem for Exponential Diophantine Equations

Authors: Martin Davis, Hilary Putnam, Julia Robinson - Annals of Mathematics 1961 cited by 329