Turing machines and the spectra of first-order formulas (1974)

by N G Jones, A Selman
Venue:Journal of Symbolic Logic