@article{Str_der_2016,
    doi = {10.1007/s10817-016-9389-x},
    url = {https://doi.org/10.1007%2Fs10817-016-9389-x},
    year = {2016},
    month = {oct},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {58},
    number = {1},
    pages = {33--65},
    author = {Thomas Ströder and Jürgen Giesl and Marc Brockschmidt and Florian Frohn and Carsten Fuhs and Jera Hensel and Peter Schneider-Kamp and Cornelius Aschermann},
    title = {Automatically Proving Termination and Memory Safety for Programs with Pointer Arithmetic},
    journal = {Journal of Automated Reasoning}
}

@article{Str_der_2016, doi = {10.1007/s10817-016-9389-x}, url = {https://doi.org/10.1007%2Fs10817-016-9389-x}, year = {2016}, month = {oct}, publisher = {Springer Science and Business Media {LLC}}, volume = {58}, number = {1}, pages = {33--65}, author = {Thomas Ströder and Jürgen Giesl and Marc Brockschmidt and Florian Frohn and Carsten Fuhs and Jera Hensel and Peter Schneider-Kamp and Cornelius Aschermann}, title = {Automatically Proving Termination and Memory Safety for Programs with Pointer Arithmetic}, journal = {Journal of Automated Reasoning} }