TY  - RPRT
TI  - Proof Complexity Modulo the Polynomial Hierarchy: Understanding Alternation as a Source of Hardness
AU  - Hubie Chen
PY  - 2016
UR  - https://arxiv.org/abs/1410.5369
ID  - 1410.5369
ER  -