Dino Pedreschi Salvatore Ruggieri On logic programs that always succeed. 163-196 2003 48 Sci. Comput. Program. 2-3 http://dx.doi.org/10.1016/S0167-6423(03)00023-6 db/journals/scp/scp48.html#PedreschiR03