6 papers:
PLILP-1995-Rety #revisited- The Notion of Floundering for SLDNF-Resolution Revisited (JHR), pp. 380–396.
ICLP-1995-Lifschitz- SLDNF, Constructive Negation and Grounding (VL), pp. 581–595.
- ILPS-1993-Drabent #query
- Completeness of SLDNF-Resolution for Non-Floundering Queries (WD), p. 643.
- ICLP-1991-CasanovaHG
- Explaining SLDNF Resolution with Non-Normal Defaults (MAC, ASH, RAdTG), pp. 18–31.
CSL-1989-DeckerC- Generalizing Allowedness While Retaining Completeness of SLDNF-Resolution (HD, LC), pp. 98–115.
- ICLP-1986-BarbutiM86 #logic programming #source code
- Completeness of the SLDNF-resolution for a class of logic programs (RB, MM), pp. 600–614.
