Fu Li, Iddo Tzameret, Zhengyu Wang. Characterizing Propositional Proofs as Non-Commutative Formulas. Electronic Colloquium on Computational Complexity (ECCC), 22:134, 2015. [doi]
@article{LiTW15-3,
title = {Characterizing Propositional Proofs as Non-Commutative Formulas},
author = {Fu Li and Iddo Tzameret and Zhengyu Wang},
year = {2015},
url = {http://eccc.hpi-web.de/report/2015/134},
researchr = {https://researchr.org/publication/LiTW15-3},
cites = {0},
citedby = {0},
journal = {Electronic Colloquium on Computational Complexity (ECCC)},
volume = {22},
pages = {134},
}