D.  Pedreschi and Ruggieri, S., ?On Logic Programs That Do Not Fail?, Electr. Notes Theor. Comput. Sci., vol. 30, 1999.