APA (7th ed.) Citation

Siefkes, D. (1988). Completeness proofs for logic programming: Refutations and derivations for ground clauses. Techn. Univ., Fachbereich Informatik.

Chicago Style (17th ed.) Citation

Siefkes, Dirk. Completeness Proofs for Logic Programming: Refutations and Derivations for Ground Clauses. Berlin: Techn. Univ., Fachbereich Informatik, 1988.

MLA (9th ed.) Citation

Siefkes, Dirk. Completeness Proofs for Logic Programming: Refutations and Derivations for Ground Clauses. Techn. Univ., Fachbereich Informatik, 1988.