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