An extension of the Kreisel-Putman system. N. Georgieva — 1974 Archiv für mathematische Logik und Grundlagenforschung
On the decidability of p', p'' and p''*. N. Georgieva — 1975 Archiv für mathematische Logik und Grundlagenforschung
Another simplification of the recursion scheme. N. Georgieva — 1977 Archiv für mathematische Logik und Grundlagenforschung