Gaya APA

Baader, F., Voronkov, A. (2005). Logic for Programming, Artificial Intelligence, and Reasoning (1st ed.). Berlin: Springer.

Gaya MLA

Baader, Franz.., Voronkov, Andrei.. "Logic for Programming, Artificial Intelligence, and Reasoning". 1st ed. Berlin: Springer, 2005. E Book.