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