Enviar Registro por Correo electrónico: Automated reasoning with analytic tableaux and related methods :