Harrison, J. (2009). Handbook of practical logic and automated reasoning John Harrison. Cambridge University Press.
Chicago Style (17th ed.) CitationHarrison, John. Handbook of Practical Logic and Automated Reasoning John Harrison. Cambridge: Cambridge University Press, 2009.
MLA (9th ed.) CitationHarrison, John. Handbook of Practical Logic and Automated Reasoning John Harrison. Cambridge University Press, 2009.
Warning: These citations may not always be 100% accurate.