Inductive Synthesis of Algorithms for Graphs from Sample Computations.

Efim B. Kinber Inductive Synthesis of Algorithms for Graphs from Sample Computations. 201-218 1988 24 Elektronische Informationsverarbeitung und Kybernetik 4/5 db/journals/eik/eik24.html#Kinber88