Automating Resolution is NP-Hard | Publicación