A theory of game trees, based on solution trees
type: Person