@article {DBLP:journals/corr/cs-LO-0106050,
	title = {Classes of Terminating Logic Programs},
	journal = {CoRR},
	volume = {cs.LO/0106},
	year = {2001},
	author = {Dino Pedreschi and Salvatore Ruggieri and Jan-Georg Smaus}
}
