@inproceedings{BG:2014,
 author = {Ben-Amram, Amir M. and Genaim, Samir},
 title = {Ranking functions for linear-constraint loops},
 year = {2014},
  journal   = {Journal of the ACM},
  month      = {jul},
  volume    = 61,
  number    = 4,
  doi       = "10.1145/2629488",
  pages = {26:1--26:55},
  articleno = {26},
  numpages = {55},
 bibsource = {ACM},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {linear constraints, ranking functions, termination},
}