APA
Iliano Cervesato H. V. A. V., . (2008). Logic for Programming, Artificial Intelligence, and Reasoning. Germany: Springer.
Chicago
Iliano Cervesato Helmut Veith Andrei Voronkov, . 2008. Logic for Programming, Artificial Intelligence, and Reasoning. Germany: Springer.
Harvard
Iliano Cervesato H. V. A. V., . (2008). Logic for Programming, Artificial Intelligence, and Reasoning. Germany: Springer.
MLA
Iliano Cervesato Helmut Veith Andrei Voronkov, . Logic for Programming, Artificial Intelligence, and Reasoning. Germany: Springer. 2008.