Completeness proofs for logic programming refutations and derivations for ground clauses - Siefkes, Dirk 1938-2016; Hofbauer, Dieter; Kutsche, Ralf-Detlef 1955- (Leiter d. Fachbibliothek Informatik, Sekretariat FR 5-4, TU, 1988)