1. Towards a theory of declarative knowledge;Apt,1987
2. A completeness theorem for SLDNF-resolution;Cavedon,1987
3. Negation as failure;Clark,1978
4. P.A. Gardner and J.C. Shepherdson, Unfold/fold transformations of logic programs, submitted for publication.
5. Completeness of the negation as failure rule;Jaffar;Proc. IJCAI-83,1983