TY - JOUR T1 - Classes of terminating logic programs JF - TPLP Y1 - 2002 A1 - Dino Pedreschi A1 - Salvatore Ruggieri A1 - Jan-Georg Smaus VL - 2 ER -