@article{ICLP-J-2011-VoetsS,
	author        = "Dean Voets and Danny De Schreye",
	doi           = "10.1017/S1471068411000159",
	journal       = "{Theory and Practice of Logic Programming}",
	number        = "4-5",
	pages         = "521--536",
	title         = "{Non-termination analysis of logic programs with integer arithmetics}",
	volume        = 11,
	year          = 2011,
}