Turing machines and the spectra of firstorder formulas with equality (1972)

by Neil D Jones, Alan L Selman
Venue:In STOC ’72: Proceedings of the fourth annual ACM symposium on Theory of computing