A best-first search algorithm guided by a set-valued heuristic. - James W. Lark III; Chelsea C. White III; Kirsten Syverson (IEEE Trans. Syst. Man Cybern., 1995)