Dan Gordon, Eliahu Shamir. Computation of Recursive Functionals Using Minimal Initial Segments. Theoretical Computer Science, 23:305-315, 1983.
@article{GordonS83, title = {Computation of Recursive Functionals Using Minimal Initial Segments}, author = {Dan Gordon and Eliahu Shamir}, year = {1983}, researchr = {https://researchr.org/publication/GordonS83}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {23}, pages = {305-315}, }