APA (7th ed.) Citation

SpringerLink (Online service) & Olivetti, N. (2007). Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings. Springer Berlin Heidelberg.

Chicago Style (17th ed.) Citation

SpringerLink (Online service) and Nicola Olivetti. Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, TABLEAUX 2007, Aix En Provence, France, July 3-6, 2007. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2007.

MLA (8th ed.) Citation

SpringerLink (Online service) and Nicola Olivetti. Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, TABLEAUX 2007, Aix En Provence, France, July 3-6, 2007. Proceedings. Springer Berlin Heidelberg, 2007.