@misc {IOPORT.70146424,
    author       = {Basin, David A. and Howe, Douglas J.},
    title        = {Some normalization properties of martin-l\"of's type theory, and applications},
    howpublished = {TACS, 475-494 (1991).},
    year         = {1991},
    doi          = {10.1007/3-540-54415-1_60},
    identifier   = {70146424},
}