Completeness proofs for logic programming refutations and derivations for ground clauses - Siefkes, Dirk 1938-2016 (Techn. Univ., Fachbereich Informatik, 1988)