TABLEAUX 2000 Automated Reasoning with Analytic Tableaux and Related Methods