%0 Journal Article %J Electr. Notes Theor. Comput. Sci. %D 1999 %T On Logic Programs That Do Not Fail %A Dino Pedreschi %A Salvatore Ruggieri %B Electr. Notes Theor. Comput. Sci. %V 30 %G eng