@article {DBLP:journals/tcs/PedreschiR99, title = {On Logic Programs That Do Not Fail}, journal = {Electr. Notes Theor. Comput. Sci.}, volume = {30}, number = {1}, year = {1999}, author = {Dino Pedreschi and Salvatore Ruggieri} }