Winterer, Dominik, Yusra Alkhazraji, Michael Katz, and Martin Wehrle. 2017. “Stubborn Sets for Fully Observable Nondeterministic Planning”. Proceedings of the International Conference on Automated Planning and Scheduling 27 (1):330-38. https://doi.org/10.1609/icaps.v27i1.13831.