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

by N D Jones, A L Selman
Venue:J. Symbolic Logic