@misc{indiciaee425671e0d65,
  title = {Monotonicity Constraints for Termination in the Integer Domain},
  author = {Amir M. Ben-Amram},
  year = {2011},
  doi = {10.2168/lmcs-7(3:4)2011},
  url = {https://arxiv.org/abs/1105.6317},
  note = {Source identifier: 1105.6317}
}