Automated Reasoning with Analytic Tableaux and Related Methods

MLA

Galmiche, Didier; Larchey-Wendling, Dominique, and Dominique Larchey-Wendling. Automated Reasoning with Analytic Tableaux and Related Methods. Springer Berlin Heidelberg, 2013.

APA

Galmiche, D., & Larchey-Wendling, D. (2013). Automated Reasoning with Analytic Tableaux and Related Methods. Springer Berlin Heidelberg.

Chicago

Galmiche, Didier; Larchey-Wendling, Dominique, and Dominique Larchey-Wendling. Automated Reasoning with Analytic Tableaux and Related Methods. : Springer Berlin Heidelberg, 2013.