Title: A theory of heuristic information in game-tree search
Subjects: Artificial intelligence, Game theory, Symbolic and mathematical Logic