Heuristics: Intelligent search strategies for computer problem solving: Judea PEARL Addison-Wesley, Reading, 1984