Automated Reasoning

MLA

Furbach, Ulrich, et al. Automated Reasoning. Springer Berlin Heidelberg, 2006.

APA

Furbach, U., Kanade, T., Shankar, N., Shankar, N., & Kittler, J. (2006). Automated Reasoning. Springer Berlin Heidelberg.

Chicago

Furbach, Ulrich, Takeo Kanade, N Shankar, Natarajan Shankar, and Josef Kittler. Automated Reasoning. : Springer Berlin Heidelberg, 2006.