@misc{indiciae639205a9d9d1, title = {Tight Polynomial Bounds for Loop Programs in Polynomial Space}, author = {A. M. Ben-Amram and G. W. Hamilton}, year = {2021}, doi = {10.46298/lmcs-17(4:7)2021}, url = {https://arxiv.org/abs/2010.02823}, note = {Source identifier: 2010.02823} }