D.  Pedreschi and Ruggieri, S., ?On logic programs that always succeed?, Sci. Comput. Program., vol. 48, pp. 163-196, 2003.