APA (7th ed.) Citation

(1997). Automated reasoning with analytic tableaux and related methods: International conference, tableaux '97, Pont-á-Mousson, France, May 13 - 16, 1997 ; proceedings. Springer. https://doi.org/10.1007/BFb0027400

Chicago Style (17th ed.) Citation

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, Tableaux '97, Pont-á-Mousson, France, May 13 - 16, 1997 ; Proceedings. Berlin u.a: Springer, 1997. https://doi.org/10.1007/BFb0027400.

MLA (9th ed.) Citation

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, Tableaux '97, Pont-á-Mousson, France, May 13 - 16, 1997 ; Proceedings. Springer, 1997. https://doi.org/10.1007/BFb0027400.