Kitzelmann, EmanuelEmanuelKitzelmann2019-09-192014-09-242007https://fis.uni-bamberg.de/handle/uniba/16745engData-driven induction of recursive functions from input/output-examplesconferenceobjecthttp://www.cogsys.wiai.uni-bamberg.de/aaip07/aaip_print.pdf