TY  - RPRT
TI  - Characterizing Propositional Proofs as Non-Commutative Formulas
AU  - Fu Li
AU  - Iddo Tzameret
AU  - Zhengyu Wang
PY  - 2015
UR  - https://arxiv.org/abs/1412.8746
ID  - 1412.8746
ER  -