On the automatizability of resolution and related propositional proof systems | Publicación