APA
Nachum Dershowitz A. V., . (2007). Logic for Programming, Artificial Intelligence, and Reasoning. Germany: Springer.
Chicago
Nachum Dershowitz Andrei Voronkov, . 2007. Logic for Programming, Artificial Intelligence, and Reasoning. Germany: Springer.
Harvard
Nachum Dershowitz A. V., . (2007). Logic for Programming, Artificial Intelligence, and Reasoning. Germany: Springer.
MLA
Nachum Dershowitz Andrei Voronkov, . Logic for Programming, Artificial Intelligence, and Reasoning. Germany: Springer. 2007.