Probabilistic Boolean decision trees and the complexity of evaluating game trees
The solution for the branching factor of the alpha-beta pruning algorithm and its optimality