Some Rules For The Automatic Synthesis Of Programs.

C. Cordell Green, David R. Barstow

Browse the full IJCAI paper archive.