@Article{         JancarSrba,
  Author        = "Jan{\v c}ar, Petr and Srba, Ji{\v r}{\'\i}",
  date-added    = "2013-12-27 17:10:00 +0000",
  date-modified = "2013-12-27 17:37:25 +0000",
  EPrint        = "1303.0780",
  Keywords      = "higher-order pushdown automata and bisimulation equivalence",
  Month         = "03",
  Title         = "Note on Undecidability of Bisimilarity for Second-Order Pushdown Processes",
  URL           = "http://arxiv.org/abs/1303.0780",
  Year          = "2013",
  bdsk-url-1    = "http://arxiv.org/abs/1303.0780",
  File          = "Note on Undecidability of Bisimilarity for Second-Order Pushdown Processes - Jančar, Srba (0) (0) - a - a - w.pdf"
}

@Article{ JancarSrba, Author = "Jan{\v c}ar, Petr and Srba, Ji{\v r}{\'\i}", date-added = "2013-12-27 17:10:00 +0000", date-modified = "2013-12-27 17:37:25 +0000", EPrint = "1303.0780", Keywords = "higher-order pushdown automata and bisimulation equivalence", Month = "03", Title = "Note on Undecidability of Bisimilarity for Second-Order Pushdown Processes", URL = "http://arxiv.org/abs/1303.0780", Year = "2013", bdsk-url-1 = "http://arxiv.org/abs/1303.0780", File = "Note on Undecidability of Bisimilarity for Second-Order Pushdown Processes - Jančar, Srba (0) (0) - a - a - w.pdf" }