Peter Madden, Alan Bundy, Alan Smaill. Recursive Program Optimization Through Inductive Synthesis Proof Transformation. Journal of Automated Reasoning, 22(1):65-115, 1999.
No references recorded for this publication.
No citations of this publication recorded.