Automated Reasoning with Analytic Tableaux and Related Methods

MLA

Brünnler, Kai, Takeo Kanade, and George Metcalfe. Automated Reasoning with Analytic Tableaux and Related Methods. Springer Berlin Heidelberg, 2011.

APA

Brünnler, K., Kanade, T., & Metcalfe, G. (2011). Automated Reasoning with Analytic Tableaux and Related Methods. Springer Berlin Heidelberg.

Chicago

Brünnler, Kai, Takeo Kanade, and George Metcalfe. Automated Reasoning with Analytic Tableaux and Related Methods. : Springer Berlin Heidelberg, 2011.