On the use of inductive reasoning in program synthesis: Prejudice and prospects (1994)

by P Flener, L Popelnsky
Venue:In L. Fribourg and F. Turini (eds), Joint Proc. of META'94 and LOPSTR'94