HEURISTICS. INTELLIGENT SEARCH STRATEGIES FOR COMPUTER PROBLEM SOLVING - Pearl, Judea (Addison-Wesley Publishing, 1984)