Idestam-Almquist, P. (1991). Learning missing clauses by completing refutation proofs. Stockholm Univ., Dep. of Computer & Systems Sciences.
Chicago-Zitierstil (17. Ausg.)Idestam-Almquist, Peter. Learning Missing Clauses by Completing Refutation Proofs. Stockholm: Stockholm Univ., Dep. of Computer & Systems Sciences, 1991.
MLA-Zitierstil (9. Ausg.)Idestam-Almquist, Peter. Learning Missing Clauses by Completing Refutation Proofs. Stockholm Univ., Dep. of Computer & Systems Sciences, 1991.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.