@article{MM2_1973__8_154145,
     author = {Horst Osswald},
     title = {Ein syntaktischer {Beweis} f\"ur die {Zul\"assigkeit} der {Schnittregel} im {Kalk\"ul} von {Sch\"utte} f\"ur die intuitionistische {Typenlogik.}},
     journal = {Manuscripta mathematica},
     pages = {243--250},
     publisher = {mathdoc},
     volume = {8},
     year = {1973},
     zbl = {0255.02024},
     url = {http://geodesic.mathdoc.fr/item/MM2_1973__8_154145/}
}