Variants of Robinson's essentially undecidable theory R. J.C. Shepherdson; J.P. Jones — 1983 Archiv für mathematische Logik und Grundlagenforschung
Some diophantine forms of Gödel's theorem. V.H. Dyson; J.P. Jones — 1982 Archiv für mathematische Logik und Grundlagenforschung