Automatic synthesis of recursive programs: The proof-planning paradigm (0)

by A Armando, A Smaill, I Green
Venue:Automated Software Engineering