Gaya APA

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

Gaya MLA

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