@article{v009a014,
 author = {Nordstr{\"o}m, Jakob and H{\aa}stad, Johan},
 title = {Towards an Optimal Separation of Space and Length in Resolution},
 year = {2013},
 pages = {471--557},
 doi = {10.4086/toc.2013.v009a014},
 publisher = {Theory of Computing},
 journal = {Theory of Computing},
 volume = {9},
 number = {14},
 URL = {https://theoryofcomputing.org/articles/v009a014},
}