@InProceedings{BG:15:CAV,
  author =       "Amir M. Ben-Amram and Samir Genaim",
  year =         "2015",
  title =        "Complexity of {Bradley-Manna-Sipma} Ranking Functions",
  booktitle =    "27th Intl. Conference on Computer Aided Verification (CAV)",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "9207",
  pages =        "304--31",
  isbn =         "978-3-319-21667-6",
  doi  =         "10.1007/978-3-319-21668-3_18",
  note =         "see also TR at http://arxiv.org/abs/1504.05018"
}