Relationship between dynamic programming and the maximum principle under state constraints. Kim, Kyung-Eung — 1999 Journal of Convex Analysis