TY  - RPRT
TI  - Proof Complexity and the Kneser-Lovász Theorem
AU  - Gabriel Istrate
AU  - Adrian Crăciun
PY  - 2018
UR  - https://arxiv.org/abs/1402.4338
ID  - 1402.4338
ER  -