@Misc{            vass-hard,
  Author        = "Czerwi{\'n}ski, Wojciech and Orlikowski, {\L}ukasz",
  date-added    = "2021-04-28 10:22:07 +0200",
  date-modified = "2021-04-28 10:26:30 +0200",
  Month         = "April",
  Title         = "Reachability in Vector Addition Systems is Ackermann-complete",
  Year          = "2021",
  File          = "Reachability in Vector Addition Systems is Ackermann-complete - main.pdf"
}

@Misc{ vass-hard, Author = "Czerwi{\'n}ski, Wojciech and Orlikowski, {\L}ukasz", date-added = "2021-04-28 10:22:07 +0200", date-modified = "2021-04-28 10:26:30 +0200", Month = "April", Title = "Reachability in Vector Addition Systems is Ackermann-complete", Year = "2021", File = "Reachability in Vector Addition Systems is Ackermann-complete - main.pdf" }