Theorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX '95, Schloss Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings - Baumgartner, Peter, 1962-; Hähnle, Reiner; Posegga, Joachim (Springer, 1995)