Giese, M., & Waaler, A. (2009). Automated reasoning with analytic tableaux and related methods: 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings. Springer.
Chicago Style (17th ed.) CitationGiese, Martin, and Arild Waaler. Automated Reasoning with Analytic Tableaux and Related Methods: 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings. Berlin, Heidelberg: Springer, 2009.
MLA (8th ed.) CitationGiese, Martin, and Arild Waaler. Automated Reasoning with Analytic Tableaux and Related Methods: 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings. Springer, 2009.
Warning: These citations may not always be 100% accurate.