APA (7th ed.) Citation

(1995). Theorem proving with analytic tableaux and related methods: 4th international workshop, TABLEAUX '95 Schloß Rheinfels, St. Goar, Germany May 7 - 10, 1995 ; proceedings. Springer. https://doi.org/10.1007/3-540-59338-1

Chicago Style (17th ed.) Citation

Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, TABLEAUX '95 Schloß Rheinfels, St. Goar, Germany May 7 - 10, 1995 ; Proceedings. Berlin [u.a.]: Springer, 1995. https://doi.org/10.1007/3-540-59338-1.

MLA (9th ed.) Citation

Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, TABLEAUX '95 Schloß Rheinfels, St. Goar, Germany May 7 - 10, 1995 ; Proceedings. Springer, 1995. https://doi.org/10.1007/3-540-59338-1.