On Logic Programs That Do Not Fail.

Dino Pedreschi Salvatore Ruggieri On Logic Programs That Do Not Fail. 1999 http://dx.doi.org/10.1016/S1571-0661(04)00115-X 30 Electr. Notes Theor. Comput. Sci. 1 db/journals/tcs/entcs30.html#PedreschiR99 77-101