%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