@article{BH:lmcs2021,
    author      = "Amir M. Ben-Amram and Geoff W. Hamilton",
    title       = Tight Polynomial Worst-Case Bounds for Loop Programs",
    year        = 2020, 
    volume      = 16,
	number      = 2, 
    journal     ={Logical Methods in Computer Science},
	url         = "http://arxiv.org/abs/1906.10047"
}