Flener, PierrePierreFlenerSchmid, UteUteSchmid0000-0002-1301-03262019-09-192014-04-3020119780387345581https://fis.uni-bamberg.de/handle/uniba/5438engInductive Programmingbookpart