@TechReport{      HopcroftKarp,
  Author        = "Hopcroft, John and Karp, Richard",
  date-added    = "2012-10-02 17:09:40 +0000",
  date-modified = "2013-07-17 15:33:22 +0000",
  Institution   = "Cornell University",
  Keywords      = "automata theory and classic",
  Title         = "A Linear Algorithm for Testing Equivalence of Finite Automata",
  Year          = "1971",
  File          = "A Linear Algorithm for Testing Equivalence of Finite Automata - Hopcroft, Karp (0) (0) - a - a - z.pdf"
}

@TechReport{ HopcroftKarp, Author = "Hopcroft, John and Karp, Richard", date-added = "2012-10-02 17:09:40 +0000", date-modified = "2013-07-17 15:33:22 +0000", Institution = "Cornell University", Keywords = "automata theory and classic", Title = "A Linear Algorithm for Testing Equivalence of Finite Automata", Year = "1971", File = "A Linear Algorithm for Testing Equivalence of Finite Automata - Hopcroft, Karp (0) (0) - a - a - z.pdf" }