@TechReport{      Czerwinski:2018,
  Author        = "Czerwi{\'n}ski, Wojciech",
  date-added    = "2019-06-26 06:46:08 +0200",
  date-modified = "2019-06-26 06:46:35 +0200",
  Month         = "Dec",
  Title         = "VASS converability in EXPSPACE",
  Year          = "2018",
  File          = "rackoff (0) (0) - a - a - b.pdf"
}

@TechReport{ Czerwinski:2018, Author = "Czerwi{\'n}ski, Wojciech", date-added = "2019-06-26 06:46:08 +0200", date-modified = "2019-06-26 06:46:35 +0200", Month = "Dec", Title = "VASS converability in EXPSPACE", Year = "2018", File = "rackoff (0) (0) - a - a - b.pdf" }