@article{ICLP-J-2011-CodishGBFG,
	author        = "Michael Codish and Igor Gonopolskiy and Amir M. Ben-Amram and Carsten Fuhs and Jürgen Giesl",
	doi           = "10.1017/S1471068411000147",
	journal       = "{Theory and Practice of Logic Programming}",
	number        = "4-5",
	pages         = "503--520",
	title         = "{SAT-based termination analysis using monotonicity constraints over the integers}",
	volume        = 11,
	year          = 2011,
}