Zwei Normalisierungstheoreme für die Peano-Arithmetik 1.Stufe und verwandte Kalküle - Mellis, Werner (1980)