Neil Thapen. A Tradeoff Between Length and Width in Resolution. Theory of Computing, 12(1):1-14, 2016. [doi]
@article{Thapen16, title = {A Tradeoff Between Length and Width in Resolution}, author = {Neil Thapen}, year = {2016}, doi = {10.4086/toc.2016.v012a005}, url = {http://dx.doi.org/10.4086/toc.2016.v012a005}, researchr = {https://researchr.org/publication/Thapen16}, cites = {0}, citedby = {0}, journal = {Theory of Computing}, volume = {12}, number = {1}, pages = {1-14}, }