Turing Machines and the Spectra of First-Order Formulas with Equality

Neil D. Jones, Alan L. Selman

Browse the full STOC paper archive.