@article{DBLP:journals/eccc/Nordstrom07,
author = {Jakob Nordstr{\"o}m},
title = {A Simplified Way of Proving Trade-off Results for Resolution},
journal = {Electronic Colloquium on Computational Complexity (ECCC)},
volume = {14},
number = {114},
year = {2007},
ee = {http://eccc.hpi-web.de/eccc-reports/2007/TR07-114/index.html},
bibsource = {DBLP, http://dblp.uni-trier.de}
}