@Article{         2018arXiv180511873B,
  Author        = "{Broadbent}, C. and {Carayol}, A. and {Hague}, M. and {Serre}, O.",
  adsnote       = "Provided by the SAO/NASA Astrophysics Data System",
  adsurl        = "http://adsabs.harvard.edu/abs/2018arXiv180511873B",
  ArchivePrefix = "arXiv",
  date-added    = "2018-11-05 15:54:02 +0100",
  date-modified = "2018-11-05 15:54:02 +0100",
  EPrint        = "1805.11873",
  Journal       = "ArXiv e-prints",
  Keywords      = "Computer Science - Formal Languages and Automata Theory, F.1.1, F.4.3",
  Month         = "May",
  PrimaryClass  = "cs.FL",
  Title         = "{Emptiness of Stack Automata is NEXPTIME-complete: A Correction}",
  Year          = "2018",
  File          = "1805.11873 (0) - a - a - s.pdf"
}

@Article{ 2018arXiv180511873B, Author = "{Broadbent}, C. and {Carayol}, A. and {Hague}, M. and {Serre}, O.", adsnote = "Provided by the SAO/NASA Astrophysics Data System", adsurl = "http://adsabs.harvard.edu/abs/2018arXiv180511873B", ArchivePrefix = "arXiv", date-added = "2018-11-05 15:54:02 +0100", date-modified = "2018-11-05 15:54:02 +0100", EPrint = "1805.11873", Journal = "ArXiv e-prints", Keywords = "Computer Science - Formal Languages and Automata Theory, F.1.1, F.4.3", Month = "May", PrimaryClass = "cs.FL", Title = "{Emptiness of Stack Automata is NEXPTIME-complete: A Correction}", Year = "2018", File = "1805.11873 (0) - a - a - s.pdf" }