Kuter U, Nau DS.  2004.  Forward-chaining planning in nondeterministic domains. :513-518.