@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}
}
