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,; Hähnle, Reiner.; Posegga, Joachim. (Springer,)