%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