Problem solving methods in artificial intelligenee - Nilsson N J (NY NY, McGraw-Hill, 1971)