TY  - RPRT
TI  - SAT-Based Termination Analysis Using Monotonicity Constraints over the Integers
AU  - Michael Codish
AU  - Igor Gonopolskiy
AU  - Amir M. Ben-Amram
AU  - Carsten Fuhs
AU  - Jürgen Giesl
PY  - 2011
UR  - https://arxiv.org/abs/1107.5980
ID  - 1107.5980
ER  -