Before revision: For solving game trees with proof-number search family of algorithms, game trees are to be mapped to And/Or trees.
After revision: For solving game trees with proof-number search family of algorithms, game trees are to be mapped to and-or trees.