A General Technique for Automatically Optimizing Programs Through the Use of Proof Plans.

Peter Madden Ian Green A General Technique for Automatically Optimizing Programs Through the Use of Proof Plans. 64-79 1994 conf/aisc/1994 AISMC db/conf/aisc/aismc1994.html#MaddenG94