@Article{         JonesSelman:JSL:1974,
  Author        = "Jones, Neil D. and Selman, Alan L.",
  date-added    = "2015-11-05 15:49:54 +0000",
  date-modified = "2019-10-03 15:07:05 +0200",
  ISSN          = "00224812",
  Journal       = "The Journal of Symbolic Logic",
  Number        = "1",
  Pages         = "139--150",
  Publisher     = "Association for Symbolic Logic",
  Title         = "Turing Machines and the Spectra of First-Order Formulas",
  URL           = "http://www.jstor.org/stable/2272354",
  Volume        = "39",
  Year          = "1974",
  bdsk-url-1    = "http://www.jstor.org/stable/2272354",
  File          = "Turing Machines and the Spectra of First-Order Formulas - jones1974 - a - p.pdf"
}

@Article{ JonesSelman:JSL:1974, Author = "Jones, Neil D. and Selman, Alan L.", date-added = "2015-11-05 15:49:54 +0000", date-modified = "2019-10-03 15:07:05 +0200", ISSN = "00224812", Journal = "The Journal of Symbolic Logic", Number = "1", Pages = "139--150", Publisher = "Association for Symbolic Logic", Title = "Turing Machines and the Spectra of First-Order Formulas", URL = "http://www.jstor.org/stable/2272354", Volume = "39", Year = "1974", bdsk-url-1 = "http://www.jstor.org/stable/2272354", File = "Turing Machines and the Spectra of First-Order Formulas - jones1974 - a - p.pdf" }