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

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