This paper considers the solution of nonlinear rational expectations models resulting from the optimality conditions of a finite-horizon intertemporal optimization problem satisfying Bellman's principle of optimality (and possibly involving inequality constraints). A backward recursive procedure...