"Completeness of the SLDNF-resolution for a class of logic programs."

Roberto Barbuti, Maurizio Martelli (1986)
a service of Schloss Dagstuhl - Leibniz Center for Informatics