APA (7th ed.) Citation

(1996). Theorem proving with analytic tableaux and related methods: 5th international workshop, TABLEAUX '96 Terrasini, Palermo, Italy, May 15 - 17, 1996 ; proceedings. Springer. https://doi.org/10.1007/3-540-61208-4

Chicago Style (17th ed.) Citation

Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop, TABLEAUX '96 Terrasini, Palermo, Italy, May 15 - 17, 1996 ; Proceedings. Berlin [u.a.]: Springer, 1996. https://doi.org/10.1007/3-540-61208-4.

MLA (9th ed.) Citation

Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop, TABLEAUX '96 Terrasini, Palermo, Italy, May 15 - 17, 1996 ; Proceedings. Springer, 1996. https://doi.org/10.1007/3-540-61208-4.