Scott Sanner, Kristian Kersting: Symbolic Dynamic Programming. Encyclopedia of Machine Learning 2010: 946-954