Automated Reasoning with Analytic Tableaux and Related Methods

MLA

Beckert, Bernhard, Takeo Kanade, and Josef Kittler. Automated Reasoning with Analytic Tableaux and Related Methods. Springer Berlin / Heidelberg, 2005.

APA

Beckert, B., Kanade, T., & Kittler, J. (2005). Automated Reasoning with Analytic Tableaux and Related Methods. Springer Berlin / Heidelberg.

Chicago

Beckert, Bernhard, Takeo Kanade, and Josef Kittler. Automated Reasoning with Analytic Tableaux and Related Methods. : Springer Berlin / Heidelberg, 2005.