From logic to logic programming - Doets, Kees. (Cambridge, Mass. : MIT Press, 1994)
7.2. Computability of Recursive Functions. 7.3. Complexity of T[subscript p][actual symbol not reproducible] -- 8. Negation. 8.1. Introduction. 8.2. Negation Implemented: SLDNF. 8.3. 3-Valued Models. 8.4. 3-Valued Consequence Operator. 8.5. Soundness. 8.6. Saturation. 8.7. Completeness for SLDNF.
Includes bibliographical references (p. [197]-199) and index.
Keywords: Logic programming