Steve A. Chien Andre Stechert Darren Mutz Efficient Heuristic Hypothesis Ranking. 375-397 1999 10 J. Artif. Intell. Res. (JAIR) http://www.cs.washington.edu/research/jair/abstracts/chien99a.html db/journals/jair/jair10.html#ChienSM99