@article{BEN_AMRAM_2012,
    doi = {10.1142/s0129054112400588},
    url = {https://doi.org/10.1142%2Fs0129054112400588},
    year = {2012},
    month = {nov},
    publisher = {World Scientific Pub Co Pte Lt},
    volume = {23},
    number = {07},
    pages = {1451--1464},
    author = {AMIR M. BEN-AMRAM and LARS KRISTIANSEN},
    title = {{ON} {THE} {EDGE} {OF} {DECIDABILITY} {IN} {COMPLEXITY} {ANALYSIS} {OF} {LOOP} {PROGRAMS}},
    journal = {International Journal of Foundations of Computer Science}
}

@article{BEN_AMRAM_2012, doi = {10.1142/s0129054112400588}, url = {https://doi.org/10.1142%2Fs0129054112400588}, year = {2012}, month = {nov}, publisher = {World Scientific Pub Co Pte Lt}, volume = {23}, number = {07}, pages = {1451--1464}, author = {AMIR M. BEN-AMRAM and LARS KRISTIANSEN}, title = {{ON} {THE} {EDGE} {OF} {DECIDABILITY} {IN} {COMPLEXITY} {ANALYSIS} {OF} {LOOP} {PROGRAMS}}, journal = {International Journal of Foundations of Computer Science} }