Neil D. Jones, Alan L. Selman. Turing Machines and the Spectra of First-Order Formulas. Journal of Symbolic Logic, 39(1):139-150, 1974.
@article{JonesS74,
title = {Turing Machines and the Spectra of First-Order Formulas},
author = {Neil D. Jones and Alan L. Selman},
year = {1974},
researchr = {https://researchr.org/publication/JonesS74},
cites = {0},
citedby = {0},
journal = {Journal of Symbolic Logic},
volume = {39},
number = {1},
pages = {139-150},
}