@article{ABEL_2002,
    doi = {10.1017/s0956796801004191},
    url = {https://doi.org/10.1017%2Fs0956796801004191},
    year = {2002},
    month = {jan},
    publisher = {Cambridge University Press ({CUP})},
    volume = {12},
    number = {01},
    author = {ANDREAS ABEL and THORSTEN ALTENKIRCH},
    title = {A predicative analysis of structural recursion},
    journal = {Journal of Functional Programming}
}

@article{ABEL_2002, doi = {10.1017/s0956796801004191}, url = {https://doi.org/10.1017%2Fs0956796801004191}, year = {2002}, month = {jan}, publisher = {Cambridge University Press ({CUP})}, volume = {12}, number = {01}, author = {ANDREAS ABEL and THORSTEN ALTENKIRCH}, title = {A predicative analysis of structural recursion}, journal = {Journal of Functional Programming} }