Inductive Inference of Recursive Functions: Qualitative Theory.

Rusins Freivalds Inductive Inference of Recursive Functions: Qualitative Theory. 77-110 1991 conf/balt/1991 Baltic Computer Science db/conf/balt/balt1991.html#Freivalds91 http://dx.doi.org/10.1007/BFb0019357