Kitzelmann, EmanuelEmanuelKitzelmannSchmid, UteUteSchmid0000-0002-1301-03262019-09-192014-09-242005https://fis.uni-bamberg.de/handle/uniba/13153organized by Emanuel Kitzelmann, Roland Olsson, Ute SchmidengAn Explanation Based Generalization Approach to Inductive Synthesis of Functional Programsconferenceobject