Wilfried Buchholz A Note on SLDNF-Resolution. 159-167 1998 8 J. Log. Comput. 2 db/journals/logcom/logcom8.html#Buchholz98