[1]
2000. Definability via partial enumerations with semicomputable codomains. Annual of Sofia University St. Kliment Ohridski. Faculty of Mathematics and Informatics. 92, (Dec. 2000), 49–63.