@PhdThesis{       Stockmeyer:PhD:1974,
  Author        = "Stockmeyer, Larry J.",
  date-added    = "2013-11-11 13:20:01 +0000",
  date-modified = "2020-01-21 19:41:09 +0100",
  Title         = "The complexity of decision problems in automata theory and logic",
  Year          = "1974",
  File          = "The complexity of decision problems in automata theory and logic - Stockmeyer (0) (0) - a - a - l.pdf"
}

@PhdThesis{ Stockmeyer:PhD:1974, Author = "Stockmeyer, Larry J.", date-added = "2013-11-11 13:20:01 +0000", date-modified = "2020-01-21 19:41:09 +0100", Title = "The complexity of decision problems in automata theory and logic", Year = "1974", File = "The complexity of decision problems in automata theory and logic - Stockmeyer (0) (0) - a - a - l.pdf" }