Enviar Registro por Correo electrónico: Automated reasoning :