%0 Conference Paper %B Program Development in Computational Logic %D 2004 %T Characterisations of Termination in Logic Programming %A Dino Pedreschi %A Salvatore Ruggieri %A Jan-Georg Smaus %B Program Development in Computational Logic %P 376-431 %G eng %0 Journal Article %J TPLP %D 2002 %T Classes of terminating logic programs %A Dino Pedreschi %A Salvatore Ruggieri %A Jan-Georg Smaus %B TPLP %V 2 %P 369-418 %G eng %0 Journal Article %J CoRR %D 2001 %T Classes of Terminating Logic Programs %A Dino Pedreschi %A Salvatore Ruggieri %A Jan-Georg Smaus %B CoRR %V cs.LO/0106 %G eng