Logic for Programming, Artificial Intelligence, and Reasoning

MLA

Baader, Franz, et al. Logic for Programming, Artificial Intelligence, and Reasoning. Springer Berlin / Heidelberg, 2005.

APA

Baader, F., Kanade, T., Voronkov, A., & Kittler, J. (2005). Logic for Programming, Artificial Intelligence, and Reasoning. Springer Berlin / Heidelberg.

Chicago

Baader, Franz, Takeo Kanade, AndreÄ­ Voronkov, and Josef Kittler. Logic for Programming, Artificial Intelligence, and Reasoning. : Springer Berlin / Heidelberg, 2005.