Kitzelmann, EmanuelEmanuelKitzelmann2019-09-192014-09-242008https://fis.uni-bamberg.de/handle/uniba/18256engAnalytical Inductive Functional Programmingconferenceobjecthttp://www.informatik.uni-kiel.de/~mh/lopstr08/preproceedings.pdfhttp://www.cogsys.wiai.uni-bamberg.de/publications/lopstr08pre.pdf