Automated reasoning with analytic tableaux and related methods international conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 : proceedings / - Dyckhoff, Roy, (Springer,)