Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2002. Copenhagen, Denmark, July 30 - August 1, 2002. Proceedings - Uwe Egly, Chritian G. Fermüller ((Lecture Notes in Computer Science))