@article{MM2_1972__6_154084,
     author = {Horst Osswald},
     title = {Vollst\"andigkeit und {Schnittelimination} in der intuitionistischen {Typenlogik.}},
     journal = {Manuscripta mathematica},
     pages = {17--32},
     year = {1972},
     volume = {6},
     zbl = {0239.02015},
     url = {http://geodesic.mathdoc.fr/item/MM2_1972__6_154084/}
}