Computing Shortest Resolution Proofs | Publicación