Eric A. Hansen, Rong Zhou, Zhengzhu Feng: Symbolic Heuristic Search Using Decision Diagrams. SARA 2002: 83-98