Παραπομπή σε μορφή APA (7η εκδ.)

Harrison, J. (2011). Handbook of practical logic and automated reasoning (1st ed., Repr.). Cambridge University Press.

Παραπομπή σε μορφή Chicago (17η εκδ.)

Harrison, J. Handbook of Practical Logic and Automated Reasoning. 1st ed., Repr. Cambridge ; New York: Cambridge University Press, 2011.

Παραπομπή σε μορφή MLA (9th εκδ.)

Harrison, J. Handbook of Practical Logic and Automated Reasoning. 1st ed., Repr. Cambridge University Press, 2011.