@article{schwichtenberg:91,
    Author = {Schwichtenberg, Helmut},
    File = {An upper bound for reduction sequences in the typed {$\lambda$}-calculus - Schwichtenberg (0) (0) - a - a - f.pdf},
    ISSN = {0933-5846},
    Journal = {Archive for Mathematical Logic},
    Language = {English},
    Number = {5-6},
    Pages = {405-408},
    Publisher = {Springer-Verlag},
    Title = {An upper bound for reduction sequences in the typed {$\lambda$}-calculus},
    URL = {http://dx.doi.org/10.1007/BF01621476},
    Volume = {30},
    Year = {1991},
    bdsk-url-1 = {http://dx.doi.org/10.1007/BF01621476},
    date-added = {2013-07-01 15:32:25 +0000},
    date-modified = {2013-07-01 15:32:25 +0000},
    file-2 = {An upper bound for reduction sequences in the typed {$\lambda$}-calculus - Schwichtenberg (1) (0) - a - a - f.pdf},
    doi = {10.1007/BF01621476}
}

@article{schwichtenberg:91, Author = {Schwichtenberg, Helmut}, File = {An upper bound for reduction sequences in the typed {$\lambda$}-calculus - Schwichtenberg (0) (0) - a - a - f.pdf}, ISSN = {0933-5846}, Journal = {Archive for Mathematical Logic}, Language = {English}, Number = {5-6}, Pages = {405-408}, Publisher = {Springer-Verlag}, Title = {An upper bound for reduction sequences in the typed {$\lambda$}-calculus}, URL = {http://dx.doi.org/10.1007/BF01621476}, Volume = {30}, Year = {1991}, bdsk-url-1 = {http://dx.doi.org/10.1007/BF01621476}, date-added = {2013-07-01 15:32:25 +0000}, date-modified = {2013-07-01 15:32:25 +0000}, file-2 = {An upper bound for reduction sequences in the typed {$\lambda$}-calculus - Schwichtenberg (1) (0) - a - a - f.pdf}, doi = {10.1007/BF01621476} }