Gaya APA

McMillan, K. et al (2013). Logic for Programming, Artificial Intelligence, and Reasoning . Springer Berlin Heidelberg: Springer.

Gaya MLA

McMillan, Ken. et al. "Logic for Programming, Artificial Intelligence, and Reasoning". Springer Berlin Heidelberg: Springer, 2013. E-Book.