L. Pineda, K. Wray, and S. Zilberstein, “Fast SSP Solvers Using Short-Sighted Labeling”, AAAI, vol. 31, no. 1, Feb. 2017.