Optimal probabilistic evaluation functions for search controlled by stochastic context-free grammars | IEEE Journals & Magazine | IEEE Xplore