Steve Roach Jeffrey Van Baalen Experience Report on Automated Procedure Construction for Deductive Synthesis. 69- 2002 conf/kbse/2002 ASE http://csdl.computer.org/comp/proceedings/ase/2002/1736/00/17360069abs.htm db/conf/kbse/ase2002.html#RoachB02