Falk Hüffner: Automated Search Tree Generation. Encyclopedia of Algorithms 2008