@misc{indiciae905bd05616ac,
  title = {Automatic Termination Analysis of Programs Containing Arithmetic Predicates},
  author = {Nachum Dershowitz and Naomi Lindenstrauss and Yehoshua Sagiv and Alexander Serebrenik},
  year = {2000},
  url = {https://arxiv.org/abs/cs/0011036},
  note = {Source identifier: cs/0011036}
}