NATO Advanced Study Institute on Computational Logic Marktoberdorf, Germany, Berger, U., & Schwichtenberg, H. (1999). Computational logic. Springer.
Παραπομπή σε μορφή Chicago (17η εκδ.)NATO Advanced Study Institute on Computational Logic Marktoberdorf, Germany, Ulrich Berger, και Helmut Schwichtenberg. Computational Logic. Berlin: Springer, 1999.
Παραπομπή σε μορφή MLA (8th εκδ.)NATO Advanced Study Institute on Computational Logic Marktoberdorf, Germany, et al. Computational Logic. Springer, 1999.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.