Deductive and inductive methods for program synthesisPenjam, Jaan; Sanko, JelenaInternational journal of computer and information sciences2004 / 3, p. 171-181 https://cs.ioc.ee/~jaan/Papers/IJCIS/IJCIS3105.pdf