Logic for Programming, Artificial Intelligence, and Reasoning

MLA

Clarke, Edmund M, et al. Logic for Programming, Artificial Intelligence, and Reasoning. Springer Berlin Heidelberg, 2010.

APA

Clarke, E. M, Kanade, T., Voronkov, A., & Kittler, J. (2010). Logic for Programming, Artificial Intelligence, and Reasoning. Springer Berlin Heidelberg.

Chicago

Clarke, Edmund M., Takeo Kanade, Andrei Voronkov, and Josef Kittler. Logic for Programming, Artificial Intelligence, and Reasoning. : Springer Berlin Heidelberg, 2010.