Siefkes, D., Hofbauer, D., & Kutsche, R. (1988). Completeness proofs for logic programming: Refutations and derivations for ground clauses. Leiter d. Fachbibliothek Informatik, Sekretariat FR 5-4, TU.
Chicago-Zitierstil (17. Ausg.)Siefkes, Dirk, Dieter Hofbauer, und Ralf-Detlef Kutsche. Completeness Proofs for Logic Programming: Refutations and Derivations for Ground Clauses. Berlin: Leiter d. Fachbibliothek Informatik, Sekretariat FR 5-4, TU, 1988.
MLA-Zitierstil (9. Ausg.)Siefkes, Dirk, et al. Completeness Proofs for Logic Programming: Refutations and Derivations for Ground Clauses. Leiter d. Fachbibliothek Informatik, Sekretariat FR 5-4, TU, 1988.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.