Hofmann, MartinMartinHofmann2019-09-192014-04-302010https://fis.uni-bamberg.de/handle/uniba/3959engIgor II - an Analytical Inductive Functional Programming System (Tool Demo)conferenceobject