APA
Ken McMillan A. M. A. V., . (2013). Logic for Programming, Artificial Intelligence, and Reasoning. Germany: Springer.
Chicago
Ken McMillan Aart Middeldorp Andrei Voronkov, . 2013. Logic for Programming, Artificial Intelligence, and Reasoning. Germany: Springer.
Harvard
Ken McMillan A. M. A. V., . (2013). Logic for Programming, Artificial Intelligence, and Reasoning. Germany: Springer.
MLA
Ken McMillan Aart Middeldorp Andrei Voronkov, . Logic for Programming, Artificial Intelligence, and Reasoning. Germany: Springer. 2013.