Increasing the efficiency of automated theorem proving | Publicación