@Article{         springerlink:10.1007/s00236-009-0104-9,
  Author        = "Janou{\v s}ek, Jan and Melichar, Bo{\v r}ivoj",
  affiliation   = "Czech Technical University in Prague Department of Computer Science, Faculty of Information Technologies Kolejni 550/2 160 00 Praha 6 Czech Republic",
  date-added    = "2012-11-02 10:26:35 +0000",
  date-modified = "2012-11-02 10:26:48 +0000",
  ISSN          = "0001-5903",
  Issue         = "7",
  Journal       = "Acta Informatica",
  keyword       = "Computer Science",
  Keywords      = "pushdown automata and tree automata",
  Note          = "10.1007/s00236-009-0104-9",
  Pages         = "533-547",
  Publisher     = "Springer Berlin / Heidelberg",
  Title         = "On regular tree languages and deterministic pushdown automata",
  URL           = "http://dx.doi.org/10.1007/s00236-009-0104-9",
  Volume        = "46",
  Year          = "2009",
  bdsk-url-1    = "http://dx.doi.org/10.1007/s00236-009-0104-9",
  File          = "On regular tree languages and deterministic pushdown automata - Janoušek, Melichar (0) (0) - a - a - r.pdf"
}

@Article{ springerlink:10.1007/s00236-009-0104-9, Author = "Janou{\v s}ek, Jan and Melichar, Bo{\v r}ivoj", affiliation = "Czech Technical University in Prague Department of Computer Science, Faculty of Information Technologies Kolejni 550/2 160 00 Praha 6 Czech Republic", date-added = "2012-11-02 10:26:35 +0000", date-modified = "2012-11-02 10:26:48 +0000", ISSN = "0001-5903", Issue = "7", Journal = "Acta Informatica", keyword = "Computer Science", Keywords = "pushdown automata and tree automata", Note = "10.1007/s00236-009-0104-9", Pages = "533-547", Publisher = "Springer Berlin / Heidelberg", Title = "On regular tree languages and deterministic pushdown automata", URL = "http://dx.doi.org/10.1007/s00236-009-0104-9", Volume = "46", Year = "2009", bdsk-url-1 = "http://dx.doi.org/10.1007/s00236-009-0104-9", File = "On regular tree languages and deterministic pushdown automata - Janoušek, Melichar (0) (0) - a - a - r.pdf" }