TIGHT POLYNOMIAL WORST-CASE BOUNDS FOR LOOP PROGRAMS. - BEN-AMRAM, AMIR M.; HAMILTON, GEOFF (Logical Methods in Computer Science (LMCS), 2020)