@article{Ben-AmramGM:toplas2012,
  author    = {Amir M. Ben-Amram and Samir Genaim and Abu Naser Masud},
  title     = {On the Termination of Integer Loops},
  journal   = {ACM Trans. Program. Lang. Syst.},
  year      = {2012},
  volume = {34},
  number = {4},
  month = dec,
 issn = {0164-0925},
 pages = {16:1--16:24},
 articleno = {16},
 numpages = {24},
 url = {http://doi.acm.org/10.1145/2400676.2400679},
 doi = {10.1145/2400676.2400679},
 acmid = {2400679},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {Integer loops, linear constraints, termination},
}