@TechReport{      saouter:inria-00074105,
  Author        = "Saouter, Yannick",
  date-added    = "2017-10-11 10:08:15 +0000",
  date-modified = "2017-10-11 10:08:15 +0000",
  hal_id        = "inria-00074105",
  hal_version   = "v1",
  Institution   = "{INRIA}",
  Keywords      = "DECIDABILITY ; TURING MACHINES",
  Number        = "RR-2577",
  PDF           = "https://hal.inria.fr/inria-00074105/file/RR-2577.pdf",
  Title         = "{Halting Problem for One-State Turing Machines}",
  Type          = "Research Report",
  URL           = "https://hal.inria.fr/inria-00074105",
  Year          = "1995",
  bdsk-url-1    = "https://hal.inria.fr/inria-00074105",
  File          = "RR-2577 (0) - a - a - e.pdf"
}

@TechReport{ saouter:inria-00074105, Author = "Saouter, Yannick", date-added = "2017-10-11 10:08:15 +0000", date-modified = "2017-10-11 10:08:15 +0000", hal_id = "inria-00074105", hal_version = "v1", Institution = "{INRIA}", Keywords = "DECIDABILITY ; TURING MACHINES", Number = "RR-2577", PDF = "https://hal.inria.fr/inria-00074105/file/RR-2577.pdf", Title = "{Halting Problem for One-State Turing Machines}", Type = "Research Report", URL = "https://hal.inria.fr/inria-00074105", Year = "1995", bdsk-url-1 = "https://hal.inria.fr/inria-00074105", File = "RR-2577 (0) - a - a - e.pdf" }