A best-first search algorithm guided by a set-valued heuristic | IEEE Journals & Magazine | IEEE Xplore