Automated Reasoning With Analytic Tableaux And Related Methods by