TY  - RPRT
TI  - Automatic Termination Analysis of Programs Containing Arithmetic Predicates
AU  - Nachum Dershowitz
AU  - Naomi Lindenstrauss
AU  - Yehoshua Sagiv
AU  - Alexander Serebrenik
PY  - 2000
UR  - https://arxiv.org/abs/cs/0011036
ID  - cs/0011036
ER  -