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  -