TABLEAUX '99 Saratoga Springs, N.Y., & Murray, N. V. (1999). Automated reasoning with analytic tableaux and related methods: International Conference, TABLEAUX'99, Saratoga Springs, NY, USA, June 7-11, 1999 : proceedings. Springer.
Chicago Style (17th ed.) CitationTABLEAUX '99 Saratoga Springs, N.Y., and Neil V. Murray. Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'99, Saratoga Springs, NY, USA, June 7-11, 1999 : Proceedings. Berlin ; New York: Springer, 1999.
MLA (9th ed.) CitationTABLEAUX '99 Saratoga Springs, N.Y., and Neil V. Murray. Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'99, Saratoga Springs, NY, USA, June 7-11, 1999 : Proceedings. Springer, 1999.
Warning: These citations may not always be 100% accurate.