-P. Miglioli et al. (Eds.): Theorem Proving with Analytic Tableaux and Related Methodes, Springer-Verlag Proceedings 1996 (Subseries LNAI)