[Zilles. "On the Synthesis of Strategies Identifying Recursive Functions." Annual Conference on Computational Learning Theory, 2001.](https://mlanthology.org/colt/2001/zilles2001colt-synthesis/) doi:10.1007/3-540-44581-1_11
@inproceedings{zilles2001colt-synthesis,
title = {{On the Synthesis of Strategies Identifying Recursive Functions}},
author = {Zilles, Sandra},
booktitle = {Annual Conference on Computational Learning Theory},
year = {2001},
pages = {160-176},
doi = {10.1007/3-540-44581-1_11},
url = {https://mlanthology.org/colt/2001/zilles2001colt-synthesis/}
}