Krzysztof R. Apt Kees Doets A New Definition of SNDNF-Resolution. 177-190 1994 18 J. Log. Program. 2 db/journals/jlp/jlp18.html#AptD94