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)