@article{MM2_1973__8_154154,
     author = {Wolfram Pohler},
     title = {Ein starker {Normalisationssatz} f\"ur die intuitionistische {Typentheorie.}},
     journal = {Manuscripta mathematica},
     pages = {371--387},
     publisher = {mathdoc},
     volume = {8},
     year = {1973},
     zbl = {0256.02013},
     url = {http://geodesic.mathdoc.fr/item/MM2_1973__8_154154/}
}