Automated Reasoning with Analytic Tableaux and Related Methods

MLA

Olivetti, Nicola, and Jörg Siekmann. Automated Reasoning with Analytic Tableaux and Related Methods. Springer Berlin Heidelberg, 2007.

APA

Olivetti, N., & Siekmann, J. (2007). Automated Reasoning with Analytic Tableaux and Related Methods. Springer Berlin Heidelberg.

Chicago

Olivetti, Nicola, and Jörg Siekmann. Automated Reasoning with Analytic Tableaux and Related Methods. : Springer Berlin Heidelberg, 2007.