@article{Lepper_2004,
    doi = {10.1007/s00153-003-0190-2},
    url = {https://doi.org/10.1007%2Fs00153-003-0190-2},
    year = {2004},
    month = {jan},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {43},
    number = {1},
    pages = {1--18},
    author = {Ingo Lepper},
    title = {Simply terminating rewrite systems with long derivations},
    journal = {Archive for Mathematical Logic}
}

@article{Lepper_2004, doi = {10.1007/s00153-003-0190-2}, url = {https://doi.org/10.1007%2Fs00153-003-0190-2}, year = {2004}, month = {jan}, publisher = {Springer Science and Business Media {LLC}}, volume = {43}, number = {1}, pages = {1--18}, author = {Ingo Lepper}, title = {Simply terminating rewrite systems with long derivations}, journal = {Archive for Mathematical Logic} }