Workshop on Theorem Proving with Analytic Tableaux and Related Methods Marseille, France, April 28 - 30, 1993 - Basin, David (Max-Planck-Institut für Informatik, 1993)