Αποστολή με SMS: Automated Reasoning with Analytic Tableaux and Related Methods