@article{v012a005, author = {Thapen, Neil}, title = {A Tradeoff Between Length and Width in Resolution}, year = {2016}, pages = {1--14}, doi = {10.4086/toc.2016.v012a005}, publisher = {Theory of Computing}, journal = {Theory of Computing}, volume = {12}, number = {5}, URL = {https://theoryofcomputing.org/articles/v012a005}, }