Anna Bramanti-Gregor Henry W. Davis F. G. Ganschow Strengthening Heuristics for Lower Cost Optimal and Near Optimal Solutions in A* Search. 6-10 1992 ECAI db/conf/ecai/ecai92.html#Bramanti-GregorDG92