Eli Ben-Sasson, Jakob Nordström. Understanding Space in Proof Complexity: Separations and Trade-offs via Substitutions. Electronic Colloquium on Computational Complexity (ECCC), 17:125, 2010. [doi]
@article{Ben-SassonN10,
title = {Understanding Space in Proof Complexity: Separations and Trade-offs via Substitutions},
author = {Eli Ben-Sasson and Jakob Nordström},
year = {2010},
url = {http://eccc.hpi-web.de/report/2010/125},
researchr = {https://researchr.org/publication/Ben-SassonN10},
cites = {0},
citedby = {0},
journal = {Electronic Colloquium on Computational Complexity (ECCC)},
volume = {17},
pages = {125},
}