Title: Theorem Proving with Analytic Tableaux and Related Methods