The theory of extensive form games. (2016)