@conference {DBLP:conf/lopstr/PedreschiRS04,
	title = {Characterisations of Termination in Logic Programming},
	booktitle = {Program Development in Computational Logic},
	year = {2004},
	pages = {376-431},
	author = {Dino Pedreschi and Salvatore Ruggieri and Jan-Georg Smaus}
}
@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}
}
@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}
}
