Results in Knowledge-Based Program Synthesis.

C. Cordell Green, Richard P. Gabriel, Elaine Kant, Beverly I. Kedzierski, Brian P. McCune, Jorge V. Phillips, Steve Tappel, Stephen J. Westfold

Browse the full IJCAI paper archive.