UnivIS
Informationssystem der Otto-Friedrich-Universität Bamberg © Config eG 
Wysotzki, F. ; Schmid, Ute:
Synthesis of Recursive Programs from Finite Examples by Detection of Macro-Functions .
Berlin : TU Berlin. 2001
(Number 01-2). - Interner Bericht (Technical Report)
UnivIS ist ein Produkt der Config eG, Buckenhof