Normalisationssätze für intuitionistische Theorien mit Wahlfolgen. - Haberthuer, Rudolf (1976)