Jicheng Fu Farokh B. Bastani I-Ling Yen Iterative Planning in the Context of Automated Code Synthesis. 251-259 2007 conf/compsac/2007 COMPSAC (1) https://doi.org/10.1109/COMPSAC.2007.132 https://doi.ieeecomputersociety.org/10.1109/COMPSAC.2007.132 db/conf/compsac/compsac2007-1.html#FuBY07