TY - JOUR T1 - On logic programs that always succeed JF - Sci. Comput. Program. Y1 - 2003 A1 - Dino Pedreschi A1 - Salvatore Ruggieri VL - 48 ER -