Richard Goodwin: Using Loops in Decision-Theoretic Refinement Planners. AIPS 1996: 118-124