Karl Stroetmann A Completeness Result for SLDNF-Resolution. 337-355 1993 15 J. Log. Program. 4 db/journals/jlp/jlp15.html#Stroetmann93