Lawrence Cavedon. Acyclic Logic Programs and the Completeness of SLDNF-Resolution. Theoretical Computer Science, 86(1):81-92, 1991.
@article{Cavedon91, title = {Acyclic Logic Programs and the Completeness of SLDNF-Resolution}, author = {Lawrence Cavedon}, year = {1991}, tags = {completeness, logic programming, logic}, researchr = {https://researchr.org/publication/Cavedon91}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {86}, number = {1}, pages = {81-92}, }