APA Edition Citation

Miller,, D., & Nadathur,, G. (2012). Programming with Higher-Order Logic. Cambridge University Press.

Chicago Edition Citation

Miller,, Dale, and Gopalan Nadathur. Programming with Higher-Order Logic. New York: Cambridge University Press, 2012.

MLA Edition Citation

Miller,, Dale, and Gopalan Nadathur. Programming with Higher-Order Logic. Cambridge University Press, 2012.