APA (7th ed.) Citation

Harrison, J. (2009). Handbook of practical logic and automated reasoning. Cambridge University Press.

Chicago Style (17th ed.) Citation

Harrison, J. Handbook of Practical Logic and Automated Reasoning. Cambridge: Cambridge University Press, 2009.

MLA (9th ed.) Citation

Harrison, J. Handbook of Practical Logic and Automated Reasoning. Cambridge University Press, 2009.