Αποστολή με SMS: Automated reasoning with analytic tableaux and related methods :