Some diophantine forms of Gödel's theorem. V.H. Dyson, J.P. Jones (1982) Archiv für mathematische Logik und Grundlagenforschung
Some undecidable theories with monadic predicates and without equality. Hans Kleine Büning (1981) Archiv für mathematische Logik und Grundlagenforschung