Automatic Deductive Synthesis of Lisp Programs in the System ALISA.

Yulia Korukhova

Browse the full JELIA paper archive.