APA (7th ed.) Citation

(2007). Automated reasoning with analytic tableaux and related methods: 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007 ; proceedings. Springer.

Chicago Style (17th ed.) Citation

Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, TABLEAUX 2007, Aix En Provence, France, July 3-6, 2007 ; Proceedings. Berlin [u.a.]: Springer, 2007.

MLA (9th ed.) Citation

Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, TABLEAUX 2007, Aix En Provence, France, July 3-6, 2007 ; Proceedings. Springer, 2007.