@Article{zbMATH03179456,
Author = {Martin {Davis} and Hilary {Putnam} and Julia {Robinson}},
Title = {{The decision problem for exponential diophantine equations.}},
FJournal = {{Annals of Mathematics. Second Series}},
Journal = {{Ann. Math. (2)}},
ISSN = {0003-486X; 1939-8980/e},
Volume = {74},
Pages = {425--436},
Year = {1961},
Publisher = {Princeton University, Mathematics Department, Princeton, NJ},
Language = {English},
Zbl = {0111.01003}
}