Tomás Horváth Peter Vojtás Fuzzy Induction via Generalized Annotated Programs. 419-433 2004 Fuzzy Days http://dx.doi.org/10.1007/3-540-31182-3_39 conf/fuzzy/2004 db/conf/fuzzy/fuzzy2004.html#HorvathV04