@misc{indiciae9c42dd7e3114,
  title = {Size-Change Termination, Monotonicity Constraints and Ranking Functions},
  author = {Amir M. Ben-Amram},
  year = {2011},
  doi = {10.2168/lmcs-6(3:2)2010},
  url = {https://arxiv.org/abs/1005.0253},
  note = {Source identifier: 1005.0253}
}