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