Armand Prieditis Robert Davis Quantitatively Relating Abstractness to the Accuracy of Admissible Heuristics. 165-175 1995 74 Artif. Intell. 1 db/journals/ai/ai74.html#PrieditisD95 http://dx.doi.org/10.1016/0004-3702(94)00084-E