@article{KrebsLMS16,
TITLE = {Small Depth Proof Systems},
AUTHOR = {Krebs, Andreas and Limaye, Nutan and Mahajan, Meena and Sreenivasaiah, Karteek},
LANGUAGE = {eng},
ISSN = {1942-3454},
DOI = {10.1145/2956229},
PUBLISHER = {ACM},
ADDRESS = {New York, NY},
YEAR = {2016},
DATE = {2016},
JOURNAL = {ACM Transactions on Computation Theory},
VOLUME = {9},
NUMBER = {1},
PAGES = {1--26},
EID = {2},
}