APA
Christian G. Fermüller A. V., . (2010). Logic for Programming, Artificial Intelligence, and Reasoning. Germany: Springer.
Chicago
Christian G. Fermüller Andrei Voronkov, . 2010. Logic for Programming, Artificial Intelligence, and Reasoning. Germany: Springer.
Harvard
Christian G. Fermüller A. V., . (2010). Logic for Programming, Artificial Intelligence, and Reasoning. Germany: Springer.
MLA
Christian G. Fermüller Andrei Voronkov, . Logic for Programming, Artificial Intelligence, and Reasoning. Germany: Springer. 2010.