Logic for Programming, Artificial Intelligence, and Reasoning

MLA

Cervesato, Iliano, et al. Logic for Programming, Artificial Intelligence, and Reasoning. Springer Berlin Heidelberg, 2008.

APA

Cervesato, I., Siekmann, J., Veith, H., & Voronkov, A. (2008). Logic for Programming, Artificial Intelligence, and Reasoning. Springer Berlin Heidelberg.

Chicago

Cervesato, Iliano, Jörg Siekmann, Helmut Veith, and Andrei Voronkov. Logic for Programming, Artificial Intelligence, and Reasoning. : Springer Berlin Heidelberg, 2008.