TY - JOUR T1 - Classes of Terminating Logic Programs JF - CoRR Y1 - 2001 A1 - Dino Pedreschi A1 - Salvatore Ruggieri A1 - Jan-Georg Smaus VL - cs.LO/0106 ER -