A classification of an iterative hierarchy. Hans Kleine Büning — 1983 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