@Article{         Jancard,
  Author        = "Jancar, Petr",
  date-added    = "2013-12-27 17:37:32 +0000",
  date-modified = "2013-12-27 17:40:33 +0000",
  EPrint        = "1312.3910",
  Keywords      = "bisimulation equivalence",
  Month         = "12",
  Title         = "Bisimulation equivalence of first-order grammars is Ackermann-hard",
  URL           = "http://arxiv.org/abs/1312.3910",
  Year          = "2013",
  bdsk-url-1    = "http://arxiv.org/abs/1312.3910",
  File          = "Bisimulation equivalence of first-order grammars is Ackermann-hard - Jancar (0) (0) - a - a - l.pdf"
}

@Article{ Jancard, Author = "Jancar, Petr", date-added = "2013-12-27 17:37:32 +0000", date-modified = "2013-12-27 17:40:33 +0000", EPrint = "1312.3910", Keywords = "bisimulation equivalence", Month = "12", Title = "Bisimulation equivalence of first-order grammars is Ackermann-hard", URL = "http://arxiv.org/abs/1312.3910", Year = "2013", bdsk-url-1 = "http://arxiv.org/abs/1312.3910", File = "Bisimulation equivalence of first-order grammars is Ackermann-hard - Jancar (0) (0) - a - a - l.pdf" }