Variants of Robinson's essentially undecidable theory R. J.C. Shepherdson, J.P. Jones (1983) Archiv für mathematische Logik und Grundlagenforschung