SAT-based termination analysis using monotonicity constraints over the integers. - Michael Codish; Igor Gonopolskiy; Amir M. Ben-Amram; Carsten Fuhs; Jürgen Giesl (Theory Pract. Log. Program., 2011)