A.Turing machines and the spectra of first-order formulae with equality (1974)

by N D Jones, Selman
Venue:Journal of Symbolic Logic