APA (7th ed.) Citation

Galmiche. (2013). Automated Reasoning with Analytic Tableaux and Related Methods (1.). Springer Berlin Heidelberg.

Chicago Style (17th ed.) Citation

Galmiche. Automated Reasoning with Analytic Tableaux and Related Methods. 1. Springer Berlin Heidelberg, 2013.

MLA (8th ed.) Citation

Galmiche. Automated Reasoning with Analytic Tableaux and Related Methods. 1. Springer Berlin Heidelberg, 2013.

Warning: These citations may not always be 100% accurate.