A formal basis for the heuristic determination of minimum cost paths (0)

by P E Hart, N J Nilsson, B Raphael
Venue:IEEE Transactions on Systems Science and Cybernetics