McMillan. (2013). Logic for Programming, Artificial Intelligence, and Reasoning (1.). Springer Berlin Heidelberg.
Čikaški stil citiranja (17. izdanje)McMillan. Logic for Programming, Artificial Intelligence, and Reasoning. 1. Springer Berlin Heidelberg, 2013.
MLA način citiranja (8. izdanje)McMillan. Logic for Programming, Artificial Intelligence, and Reasoning. 1. Springer Berlin Heidelberg, 2013.
Upozorenje: Ovi citati možda nisu uvijek 100% točni.