Andrew Ireland Jamie Stark Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis. 65-105 2006 13 Autom. Softw. Eng. 1 http://dx.doi.org/10.1007/s10515-006-5467-3 db/journals/ase/ase13.html#IrelandS06