@Article{         2017arXiv171109946C,
  Author        = "{Clemente}, L. and {Mayr}, R.",
  adsnote       = "Provided by the SAO/NASA Astrophysics Data System",
  adsurl        = "http://adsabs.harvard.edu/abs/2017arXiv171109946C",
  ArchivePrefix = "arXiv",
  date-added    = "2018-11-20 18:49:35 +0100",
  date-modified = "2018-11-20 18:49:35 +0100",
  EPrint        = "1711.09946",
  Journal       = "ArXiv e-prints",
  Keywords      = "Computer Science - Formal Languages and Automata Theory, Computer Science - Logic in Computer Science, D.2.4, F.1.1",
  Month         = "November",
  PrimaryClass  = "cs.FL",
  Title         = "{Efficient reduction of nondeterministic automata with application to language inclusion testing}",
  Year          = "2017",
  File          = "1711.09946 (0) - a - a - i.pdf"
}

@Article{ 2017arXiv171109946C, Author = "{Clemente}, L. and {Mayr}, R.", adsnote = "Provided by the SAO/NASA Astrophysics Data System", adsurl = "http://adsabs.harvard.edu/abs/2017arXiv171109946C", ArchivePrefix = "arXiv", date-added = "2018-11-20 18:49:35 +0100", date-modified = "2018-11-20 18:49:35 +0100", EPrint = "1711.09946", Journal = "ArXiv e-prints", Keywords = "Computer Science - Formal Languages and Automata Theory, Computer Science - Logic in Computer Science, D.2.4, F.1.1", Month = "November", PrimaryClass = "cs.FL", Title = "{Efficient reduction of nondeterministic automata with application to language inclusion testing}", Year = "2017", File = "1711.09946 (0) - a - a - i.pdf" }