A Formal Basis for the Heuristic Determination of Minimum Cost Paths Publication Type: Journal Article Authors: Peter E. Hart; Nils J. Nilsson; Bertram Raphael Source: IEEE Transactions on Systems Science and Cybernetics, Volume 4, Issue 2, p.100-107 (1968)