Pineda, L.; Wray, K.; Zilberstein, S. Fast SSP Solvers Using Short-Sighted Labeling. AAAI 2017, 31.