UnivIS
Informationssystem der Otto-Friedrich-Universität Bamberg © Config eG 
Kitzelmann, Emanuel ; Schmid, Ute:
Inductive Synthesis of Functional Programs -- an Explanation Based Generalization Approach .
In: Journal of Machine Learning Research 7(Feb) (2006), S. 429--454
UnivIS ist ein Produkt der Config eG, Buckenhof