@article{ICLP-J-2010-Schneider-KampGSST,
	author        = "Peter Schneider-Kamp and Jürgen Giesl and Thomas Ströder and Alexander Serebrenik and René Thiemann",
	doi           = "10.1017/S1471068410000165",
	journal       = "{Theory and Practice of Logic Programming}",
	number        = "4-6",
	pages         = "365--381",
	title         = "{Automated termination analysis for logic programs with cut}",
	volume        = 10,
	year          = 2010,
}