@InProceedings{   Jancar,
  Author        = "Jancar, Petr",
  date-added    = "2012-06-22 21:50:14 +0100",
  date-modified = "2012-09-13 09:13:30 +0200",
  Keywords      = "bisimulation equivalence and readme",
  Title         = "Bisimulation Equivalence for First-Order Grammars",
  Year          = "2012",
  File          = "Bisimulation Equivalence for First-Order Grammars - Jancar (0) (0) - a - a - j.pdf"
}

@InProceedings{ Jancar, Author = "Jancar, Petr", date-added = "2012-06-22 21:50:14 +0100", date-modified = "2012-09-13 09:13:30 +0200", Keywords = "bisimulation equivalence and readme", Title = "Bisimulation Equivalence for First-Order Grammars", Year = "2012", File = "Bisimulation Equivalence for First-Order Grammars - Jancar (0) (0) - a - a - j.pdf" }