An Algorithm for General Set Unification and Its Complexity Frieder Stolzenburg OriginalPaper Pages: 45 - 63
Recursive Program Optimization through Inductive Synthesis Proof Transformation Peter MaddenAlan BundyAlan Smaill OriginalPaper Pages: 65 - 115