@Article{         2018arXiv180908985M,
  Author        = "{Mottet}, A. and {Quaas}, K.",
  adsnote       = "Provided by the SAO/NASA Astrophysics Data System",
  adsurl        = "http://adsabs.harvard.edu/abs/2018arXiv180908985M",
  ArchivePrefix = "arXiv",
  date-added    = "2018-10-01 06:55:35 +0000",
  date-modified = "2018-10-01 06:55:35 +0000",
  EPrint        = "1809.08985",
  Journal       = "ArXiv e-prints",
  Keywords      = "Computer Science - Formal Languages and Automata Theory",
  Month         = "September",
  PrimaryClass  = "cs.FL",
  Title         = "{The Containment Problem for Unambiguous Register Automata}",
  Year          = "2018",
  bdsk-url-1    = "https://arxiv.org/abs/1809.08985",
  File          = "1809.08985 (0) - a - a - z.pdf",
  file-2        = "QuantLA-workshop-2018 - a - z.pdf",
  file-3        = "arxiv (1) - a - a - z.pdf"
}

@Article{ 2018arXiv180908985M, Author = "{Mottet}, A. and {Quaas}, K.", adsnote = "Provided by the SAO/NASA Astrophysics Data System", adsurl = "http://adsabs.harvard.edu/abs/2018arXiv180908985M", ArchivePrefix = "arXiv", date-added = "2018-10-01 06:55:35 +0000", date-modified = "2018-10-01 06:55:35 +0000", EPrint = "1809.08985", Journal = "ArXiv e-prints", Keywords = "Computer Science - Formal Languages and Automata Theory", Month = "September", PrimaryClass = "cs.FL", Title = "{The Containment Problem for Unambiguous Register Automata}", Year = "2018", bdsk-url-1 = "https://arxiv.org/abs/1809.08985", File = "1809.08985 (0) - a - a - z.pdf", file-2 = "QuantLA-workshop-2018 - a - z.pdf", file-3 = "arxiv (1) - a - a - z.pdf" }