@article {DBLP:journals/tplp/PedreschiRS02,
	title = {Classes of terminating logic programs},
	journal = {TPLP},
	volume = {2},
	number = {3},
	year = {2002},
	pages = {369-418},
	author = {Dino Pedreschi and Salvatore Ruggieri and Jan-Georg Smaus}
}
