APA Citation

(2011). Automated reasoning with analytic tableaux and related methods: 20th International Conference, TABLEAUX 2011, Bern, Switzerland, july 4-8, 2011. Proceedings.

Chicago Style Citation

Automated Reasoning With Analytic Tableaux and Related Methods: 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings. 2011.

MLA Citation

Automated Reasoning With Analytic Tableaux and Related Methods: 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings. 2011.

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