Searching for "A General Technique for Automatically Generating Efficient Programs Through the Use of Proof Planning (Abstract)." – sorted by Relevance.