Automated reasoning with analytic tableaux and related methods international conference ; TABLEAUX 2002, Copenhagen, Denmark, July 30 - August 1, 2002 ; proceedings (Springer, 2002)