Ein algebraischer Beweis für das Church-Rosser-Theorem. Gerd Mitschke (1972) Archiv für mathematische Logik und Grundlagenforschung
Eine beweistheoretische Anwendung partieller stetiger Funktionale. H. Vogel (1978) Archiv für mathematische Logik und Grundlagenforschung