Automated Reasoning with Analytic Tableaux and Related Methods International Conference, TABLEAUX 2002. Copenhagen, Denmark, July 30 - August 1, 2002. Proceedings - Egly, Uwe; Egly, Uwe; Fernmüller, Christian G.; Fernmüller, Christian G. (Springer Berlin Heidelberg : Imprint: Springer, 2002)