Moore, J. S., & Boyer, R. (1988). A Computational Logic Handbook. Academic Press.
Παραπομπή σε μορφή Chicago (17η εκδ.)Moore, J. Strother, και Robert Boyer. A Computational Logic Handbook. Boston: Academic Press, 1988.
Παραπομπή σε μορφή MLA (8th εκδ.)Moore, J. Strother, και Robert Boyer. A Computational Logic Handbook. Academic Press, 1988.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.