%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