"RIV:J07/94:14330 15" . "On the Use of Inductive Reasoning in Program Synthesis."@en . "Popel\u00EDnsk\u00FD, Lubom\u00EDr" . . . "On the Use of Inductive Reasoning in Program Synthesis." . "3-540-58792-6" . "867381" . "On the Use of Inductive Reasoning in Program Synthesis."@en . "LNCS 883" . . . "1"^^ . "[CBF018E39CA4]" . . "Hamburg" . . "Springer-Verlag" . "RIV:J07/94:14330 15!RIV/1998/MSM/MSM8G20" . "0"^^ . . "69;87" . "On the Use of Inductive Reasoning in Program Synthesis." . "14330" . . "2"^^ . . "Logic Program Synthesis and Transformation" . "Flener, P." .