Automated Reasoning

MLA

Hutchison, David, et al. Automated Reasoning. Springer Berlin Heidelberg, 2012.

APA

Hutchison, D., Kanade, T., Miller, D., & Sattler, U. (2012). Automated Reasoning. Springer Berlin Heidelberg.

Chicago

Hutchison, David, Takeo Kanade, Dale Miller, and Ulrike Sattler. Automated Reasoning. : Springer Berlin Heidelberg, 2012.