@TechReport{      Hopcroft:1971:nlogn,
  Author        = "Hopcroft, John E.",
  Address       = "Stanford, CA, USA",
  date-added    = "2017-11-12 16:56:48 +0000",
  date-modified = "2017-11-12 16:58:03 +0000",
  Publisher     = "Stanford University",
  source        = "http://www.ncstrl.org:8900/ncstrl/servlet/search?formname=detail\&id=oai\%3Ancstrlh\%3Astan\%3ASTAN\%2F\%2FCS-TR-71-190",
  Title         = "An $n\log n$ Algorithm for Minimizing States in a Finite Automaton",
  Year          = "1971",
  File          = "bc39d90d96dadc56594b61e3e4b2be651686 (0) - a - a - x.pdf",
  file-2        = "yingjie.xu (0) - a - a - x.pdf"
}

@TechReport{ Hopcroft:1971:nlogn, Author = "Hopcroft, John E.", Address = "Stanford, CA, USA", date-added = "2017-11-12 16:56:48 +0000", date-modified = "2017-11-12 16:58:03 +0000", Publisher = "Stanford University", source = "http://www.ncstrl.org:8900/ncstrl/servlet/search?formname=detail\&id=oai\%3Ancstrlh\%3Astan\%3ASTAN\%2F\%2FCS-TR-71-190", Title = "An $n\log n$ Algorithm for Minimizing States in a Finite Automaton", Year = "1971", File = "bc39d90d96dadc56594b61e3e4b2be651686 (0) - a - a - x.pdf", file-2 = "yingjie.xu (0) - a - a - x.pdf" }