-P. Baumgartner/R. Hähnle/J. Posegga (Eds.): Theorem Proving with Analytic Tableaux and Related Methods. Proceedings 1995, Springer-Verlag 1995 (Subseries LNAI)