Deductive and inductive methods for program synthesis
Penjam, Jaan
;
Sanko, Jelena
International journal of computer and information sciences
2004
/
3, p. 171-181
https://cs.ioc.ee/~jaan/Papers/IJCIS/IJCIS3105.pdf