Roberto Barbuti, Maurizio Martelli
Completeness of the SLDNF-resolution for a class of logic programs
ICLP, 1986.
@inproceedings{ICLP-1986-BarbutiM86, author = "Roberto Barbuti and Maurizio Martelli", booktitle = "{Proceedings of the Third International Conference on Logic Programming}", doi = "10.1007/3-540-16492-8_109", isbn = "3-540-16492-8", pages = "600--614", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Completeness of the SLDNF-resolution for a class of logic programs}", volume = 225, year = 1986, }