TY - CONF T1 - Characterisations of Termination in Logic Programming T2 - Program Development in Computational Logic Y1 - 2004 A1 - Dino Pedreschi A1 - Salvatore Ruggieri A1 - Jan-Georg Smaus JF - Program Development in Computational Logic ER - 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 - 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 -