Mattmüller, R.; Ortlieb, M.; Helmert, M.; Bercher, P. Pattern Database Heuristics for Fully Observable Nondeterministic Planning. ICAPS 2010, 20, 105-112.