Ilghami O, Nau DS.  2003.  A General Approach to Synthesize Problem-Specific Planners.