Ilario Bonacina, Nicola Galesi, Neil Thapen. Total Space in Resolution. SIAM Journal on Computing, 45(5):1894-1909, 2016. [doi]
@article{BonacinaGT16,
title = {Total Space in Resolution},
author = {Ilario Bonacina and Nicola Galesi and Neil Thapen},
year = {2016},
doi = {10.1137/15M1023269},
url = {http://dx.doi.org/10.1137/15M1023269},
researchr = {https://researchr.org/publication/BonacinaGT16},
cites = {0},
citedby = {0},
journal = {SIAM Journal on Computing},
volume = {45},
number = {5},
pages = {1894-1909},
}