Ein starker Normalisationssatz für die bar-rekursiven Funktionale. Helmut Vogel (1977) Archiv für mathematische Logik und Grundlagenforschung