Wlodzimierz Drabent Completeness of SLDNF-Resolution for Nonfloundering Queries. 89-106 1996 27 J. Log. Program. 2 db/journals/jlp/jlp27.html#Drabent96