D.: Dynamic programming via static incrementalization (2003)

by Y A Liu, S Stoller
Venue:Higher-Order and Symbolic Computation (HOSC