A STRATEGY FOR DYNAMIC PROGRAMS: START OVER AND MUDDLE THROUGH. - DATTA, SAMIR; MUKHERJEE, ANISH; SCHWENTICK, THOMAS; VORTMEIER, NILS; ZEUME, THOMAS (Logical Methods in Computer Science (LMCS), 2019)