Edward Sciore, A. Tang
Computability Theory in Admissible Domains
STOC, 1978.
@inproceedings{STOC-1978-ScioreT, author = "Edward Sciore and A. Tang", booktitle = "{Proceedings of the 10th Annual ACM Symposium on Theory of Computing}", doi = "10.1145/800133.804337", pages = "95--104", publisher = "{ACM}", title = "{Computability Theory in Admissible Domains}", year = 1978, }