Sergei S. Goncharov, Valentina S. Harizanov, Julia F. Knight, Charles F. D. McCoy, Russell Miller, Reed Solomon. Enumerations in computable structure theory. Annals of Pure and Applied Logic, 136(3):219-246, 2005. [doi]
@article{GoncharovHKMMS05, title = {Enumerations in computable structure theory}, author = {Sergei S. Goncharov and Valentina S. Harizanov and Julia F. Knight and Charles F. D. McCoy and Russell Miller and Reed Solomon}, year = {2005}, doi = {10.1016/j.apal.2005.02.001}, url = {http://dx.doi.org/10.1016/j.apal.2005.02.001}, researchr = {https://researchr.org/publication/GoncharovHKMMS05}, cites = {0}, citedby = {0}, journal = {Annals of Pure and Applied Logic}, volume = {136}, number = {3}, pages = {219-246}, }