APA Citation

(2013). Automated reasoning with analytic tableaux and related methods: 22nd International Conference, TABLEAUX 2013, Nancy, France, september 16-19, 2013, proceedings.

Chicago Style Citation

Automated Reasoning With Analytic Tableaux and Related Methods: 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings. 2013.

MLA Citation

Automated Reasoning With Analytic Tableaux and Related Methods: 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings. 2013.

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