Bruno Bertolino, M. Mowbray. A Completeness Result for SLDNF-Resolution. In Domenico SaccĂ , editor, 8th Italian Conference on Logic Programming, GULP 93, Gizzeria, Italy, June 15-18, 1993. pages 301-308, 1993.
@inproceedings{BertolinoM93, title = {A Completeness Result for SLDNF-Resolution}, author = {Bruno Bertolino and M. Mowbray}, year = {1993}, tags = {completeness}, researchr = {https://researchr.org/publication/BertolinoM93}, cites = {0}, citedby = {0}, pages = {301-308}, booktitle = {8th Italian Conference on Logic Programming, GULP 93, Gizzeria, Italy, June 15-18, 1993}, editor = {Domenico SaccĂ }, }