Proof Complexity Modulo the Polynomial Hierarchy | Publicación