Lawrence Cavedon, John W. Lloyd. A Completeness Theorem for SLDNF Resolution. Journal of Logic and Algebraic Programming, 7(3):177-191, 1989.
@article{CavedonL89, title = {A Completeness Theorem for SLDNF Resolution}, author = {Lawrence Cavedon and John W. Lloyd}, year = {1989}, tags = {completeness}, researchr = {https://researchr.org/publication/CavedonL89}, cites = {0}, citedby = {0}, journal = {Journal of Logic and Algebraic Programming}, volume = {7}, number = {3}, pages = {177-191}, }