Schmid, UteUteSchmid0000-0002-1301-03262019-09-192014-09-2420030933-1875https://fis.uni-bamberg.de/handle/uniba/11629engInductive synthesis of functional programs - Learning domain-specific control rules and abstract schemesarticle