@misc{indiciaec7021b450900,
  title = {Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions},
  author = {Amir M. Ben-Amram and Samir Genaim},
  year = {2015},
  url = {https://arxiv.org/abs/1504.05018},
  note = {Source identifier: 1504.05018}
}