Martin, Hilary Putnam, and Julia Robinson. “The Decision Problem for Exponential Diophantine Equations.’ Annals of Mathematics, 1961, 425-36. Dyson, Verena H., James P. Jones, and John C. Shepherdson. “Some Diophantine Forms of Gédel’s Theorem.” Archive for Mathematical Logic 22, no. 1 (1980): 51-60. Franz