Winterer, D.; Alkhazraji, Y.; Katz, M.; Wehrle, M. Stubborn Sets for Fully Observable Nondeterministic Planning. ICAPS 2017, 27, 330-338.