Jakob Nordström. A Simplified Way of Proving Trade-off Results for Resolution. Electronic Colloquium on Computational Complexity (ECCC), 14(114), 2007. [doi]
@article{Nordstrom07, title = {A Simplified Way of Proving Trade-off Results for Resolution}, author = {Jakob Nordström}, year = {2007}, url = {http://eccc.hpi-web.de/eccc-reports/2007/TR07-114/index.html}, researchr = {https://researchr.org/publication/Nordstrom07}, cites = {0}, citedby = {0}, journal = {Electronic Colloquium on Computational Complexity (ECCC)}, volume = {14}, number = {114}, }