Theorem Proving with Analytic Tableaux and Related Methods