APA Citation

(2017). Automated reasoning with analytic tableaux and related methods: 26th international conference, TABLEAUX 2017, Brasília, Brazil, september 25-28, 2017, proceedings.

Chicago Style Citation

Automated Reasoning With Analytic Tableaux and Related Methods: 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings. 2017.

MLA Citation

Automated Reasoning With Analytic Tableaux and Related Methods: 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings. 2017.

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