N. Een, A. Legg, N. Narodytska, and L. Ryzhyk, “SAT-Based Strategy Extraction in Reachability Games”, AAAI, vol. 29, no. 1, Mar. 2015.