U. Egly, C. Fermüller (ed.): "Proceedings of the Eleventh Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX-02)"; Springer, 2002, ISBN: 3-540-43929-3; 340 pages.