Nilsson N J Problem solving methods in artificial intelligenee - NY NY, McGraw-Hill 1971 - 255p Source: Textbook