TY - JOUR ID - DBLP:journals/tcs/Grieser08 T1 - Reflective inductive inference of recursive functions A1 - Grieser, Gunter JA - Theor. Comput. Sci. Y1 - 2008 VL - 397 IS - 1-3 SP - 57 EP - 69 M2 - doi: 10.1016/j.tcs.2008.02.022 M1 - bibsource={DBLP M1 - http://dblp.uni-trier.de} ER -