Thomas Ellman John Keane Takahiro Murata Mark Schwabacher A Transformation System for Interactive Reformulation of Design Optimization Strategies. 44-51 1995 KBSE db/conf/kbse/kbse1995.html#EllmanKMS95