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

Roberto Barbuti, Maurizio Martelli

Browse the full ICLP paper archive.