Automated Reasoning With Analytic Tableaux And Related