%Aigaion2 BibTeX export from Knowledge Engineering Publications
%Friday 17 December 2021 11:58:29 PM

@ARTICLE{DBLP:journals/tcs/Grieser08,
    author = {Grieser, Gunter},
     title = {Reflective inductive inference of recursive functions},
   journal = {Theor. Comput. Sci.},
    volume = {397},
    number = {1-3},
      year = {2008},
     pages = {57-69},
       doi = {10.1016/j.tcs.2008.02.022},
bibsource={DBLP, http://dblp.uni-trier.de},
}