@TechReport{      Parysa,
  Author        = "Parys, Pawel",
  date-added    = "2014-03-23 17:51:07 +0000",
  date-modified = "2014-03-23 17:51:18 +0000",
  Title         = "First-Order Logic on CPDA Graphs",
  Year          = "2013",
  File          = "First-Order Logic on CPDA Graphs - Parys (0) (0) - a - a - n.pdf"
}

@TechReport{ Parysa, Author = "Parys, Pawel", date-added = "2014-03-23 17:51:07 +0000", date-modified = "2014-03-23 17:51:18 +0000", Title = "First-Order Logic on CPDA Graphs", Year = "2013", File = "First-Order Logic on CPDA Graphs - Parys (0) (0) - a - a - n.pdf" }