Jinbo Huang Adnan Darwiche The Language of Search. 191-219 2007 29 J. Artif. Intell. Res. (JAIR) http://www.jair.org/papers/paper2097.html db/journals/jair/jair29.html#HuangD07