R. Mattmüller, M. Ortlieb, M. Helmert, and P. Bercher, “Pattern Database Heuristics for Fully Observable Nondeterministic Planning”, ICAPS, vol. 20, no. 1, pp. 105–112, May 2010.