A Completeness Result for SLDNF-Resolution