%0 Journal Article %J Sci. Comput. Program. %D 2003 %T On logic programs that always succeed %A Dino Pedreschi %A Salvatore Ruggieri %B Sci. Comput. Program. %V 48 %P 163-196 %G eng