Heuristics intelligent search strategies for computer problem solving - Pearl, Judea (Addison-Wesley, 1984)