Selected references Richard Bellman, John Holland, and Robert Kalaba. On an application of dynamic programming to the synthesis of logical systems. Journal of the ACM, 6(4):486-493, October 1959.