Enviar Registro por Correo electrónico: Automated reasoning for systems biology and medicine /