Automated Reasoning

MLA

Giesl, Jürgen, Reiner Hähnle, and Takeo Kanade. Automated Reasoning. Springer Berlin Heidelberg, 2010.

APA

Giesl, J., Hähnle, R., & Kanade, T. (2010). Automated Reasoning. Springer Berlin Heidelberg.

Chicago

Giesl, Jürgen, Reiner Hähnle, and Takeo Kanade. Automated Reasoning. : Springer Berlin Heidelberg, 2010.