@article{Terui_2007,
    doi = {10.1007/s00153-007-0042-6},
    url = {https://doi.org/10.1007%2Fs00153-007-0042-6},
    year = {2007},
    month = {feb},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {46},
    number = {3-4},
    pages = {253--280},
    author = {Kazushige Terui},
    title = {Light affine lambda calculus and polynomial time strong normalization},
    journal = {Archive for Mathematical Logic}
}

@article{Terui_2007, doi = {10.1007/s00153-007-0042-6}, url = {https://doi.org/10.1007%2Fs00153-007-0042-6}, year = {2007}, month = {feb}, publisher = {Springer Science and Business Media {LLC}}, volume = {46}, number = {3-4}, pages = {253--280}, author = {Kazushige Terui}, title = {Light affine lambda calculus and polynomial time strong normalization}, journal = {Archive for Mathematical Logic} }