@article{BH:lmcs2021,
    author      = "Amir M. Ben-Amram and Geoff W. Hamilton",
    title       = Tight Polynomial Bounds for Loop Programs in Polynomial Space",
    year        = 2021, 
    volume      = 17,
	number      = 4, 
    journal     ={Logical Methods in Computer Science},
	url         = "https://doi.org/10.46298/lmcs-17(4:7)2021"
}