(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.
Chicago-Zitierstil (17. Ausg.)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.
MLA-Zitierstil (9. Ausg.)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.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.