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