@Article{         Kozenb,
  Author        = "Kozen, Dexter",
  date-added    = "2012-11-30 16:34:13 +0000",
  date-modified = "2012-11-30 16:34:36 +0000",
  Keywords      = "tree automata",
  Title         = "On the Myhill-Nerode Theorem for Trees",
  File          = "On the Myhill-Nerode Theorem for Trees - Kozen (0) (0) - a - a - u.pdf"
}

@Article{ Kozenb, Author = "Kozen, Dexter", date-added = "2012-11-30 16:34:13 +0000", date-modified = "2012-11-30 16:34:36 +0000", Keywords = "tree automata", Title = "On the Myhill-Nerode Theorem for Trees", File = "On the Myhill-Nerode Theorem for Trees - Kozen (0) (0) - a - a - u.pdf" }