A General Technique for Automatically Generating Efficient Programs Through the Use of Proof Planning (Abstract).

Peter Madden Jane Hesketh Ian Green Alan Bundy A General Technique for Automatically Generating Efficient Programs Through the Use of Proof Planning (Abstract). 64-66 1993 LOPSTR db/conf/lopstr/lopstr93.html#MaddenHGB93