## Amir M. Ben-Amram, Samir Genaim

*On the linear ranking problem for integer linear-constraint loops*

POPL, 2013.

@inproceedings{POPL-2013-Ben-AmramG, author = "Amir M. Ben-Amram and Samir Genaim", booktitle = "{Proceedings of the 40th Annual Symposium on Principles of Programming Languages}", doi = "10.1145/2429069.2429078", editor = "Roberto Giacobazzi and Radhia Cousot", isbn = "978-1-4503-1832-7", pages = "51--62", publisher = "{ACM}", title = "{On the linear ranking problem for integer linear-constraint loops}", year = 2013, }