@article{b8c24471dd6642baacc7e2c5cf0554ee,
title = "Characterizing Propositional Proofs as Non-commutative Formulas",
keywords = "proof complexity, algebraic complexity, computational complexity",
author = "Fu Li and Iddo Tzameret and Zhengyu Wang",
year = "2018",
month = jul,
day = "19",
doi = "10.1137/16M1107632",
language = "English",
volume = "47",
pages = "1424--1462",
journal = "SIAM Journal on Computing",
issn = "0097-5397",
publisher = "Society for Industrial and Applied Mathematics Publications",
number = "4",
}