APA (7th ed.) Citation

TABLEAUX '97 Pont-à-Mousson, France, SpringerLink (Online service), & Galmiche, D. (1997). Automated reasoning with analytic tableaux and related methods: International Conference, TABLEAUX '97, Pont-à-Mousson, France, May 13-16, 1997 : proceedings. Springer.

Chicago Style (17th ed.) Citation

TABLEAUX '97 Pont-à-Mousson, France, SpringerLink (Online service), and Didier Galmiche. Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX '97, Pont-à-Mousson, France, May 13-16, 1997 : Proceedings. Berlin ; New York: Springer, 1997.

MLA (9th ed.) Citation

TABLEAUX '97 Pont-à-Mousson, France, et al. Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX '97, Pont-à-Mousson, France, May 13-16, 1997 : Proceedings. Springer, 1997.