Automated Reasoning with Analytic Tableaux and Related Methods

MLA

Giese, Martin, et al. Automated Reasoning with Analytic Tableaux and Related Methods. Springer Berlin Heidelberg, 2009.

APA

Giese, M., Kanade, T., Waaler, A., & Kittler, J. (2009). Automated Reasoning with Analytic Tableaux and Related Methods. Springer Berlin Heidelberg.

Chicago

Giese, Martin, Takeo Kanade, Arild Waaler, and Josef Kittler. Automated Reasoning with Analytic Tableaux and Related Methods. : Springer Berlin Heidelberg, 2009.