A. Basak, “Abstraction Using Analysis of Subgames”, AAAI, vol. 30, no. 1, Mar. 2016.