Basak, A. Abstraction Using Analysis of Subgames. AAAI 2016, 30.