Steve Roach Jeffrey Van Baalen Automated Procedure Construction for Deductive Synthesis. 393-414 2005 12 Autom. Softw. Eng. 4 http://dx.doi.org/10.1007/s10515-005-2646-6 db/journals/ase/ase12.html#RoachB05