@article{Ben_Amram_2014,
    doi = {10.1145/2629488},
    url = {https://doi.org/10.1145%2F2629488},
    year = {2014},
    month = {jul},
    publisher = {Association for Computing Machinery ({ACM})},
    volume = {61},
    number = {4},
    pages = {1--55},
    author = {Amir M. Ben-Amram and Samir Genaim},
    title = {Ranking Functions for Linear-Constraint Loops},
    journal = {Journal of the {ACM}}
}

@article{Ben_Amram_2014, doi = {10.1145/2629488}, url = {https://doi.org/10.1145%2F2629488}, year = {2014}, month = {jul}, publisher = {Association for Computing Machinery ({ACM})}, volume = {61}, number = {4}, pages = {1--55}, author = {Amir M. Ben-Amram and Samir Genaim}, title = {Ranking Functions for Linear-Constraint Loops}, journal = {Journal of the {ACM}} }