A metric space approach to the specification of the heuristic function for the A* algorithm | IEEE Journals & Magazine | IEEE Xplore