Proof Complexity Modulo the Polynomial Hierarchy: Understanding Alternation as a Source of Hardness | Publicación