APA Citation

(2009). Automated reasoning with analytic tableaux and related methods: 18th international conference, TABLEAUX 2009, Oslo, Norway, july 6-10, 2009. Proceedings.

Chicago Style Citation

Automated Reasoning With Analytic Tableaux and Related Methods: 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings. 2009.

MLA Citation

Automated Reasoning With Analytic Tableaux and Related Methods: 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings. 2009.

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