@Article{         Lazic,
  Author        = "Lazic, Ranko",
  date-added    = "2013-11-10 10:32:46 +0000",
  date-modified = "2013-11-11 13:10:49 +0000",
  EPrint        = "1310.1767",
  Keywords      = "vector addition systems and pushdown automata",
  Month         = "10",
  Title         = "The reachability problem for vector addition systems with a stack is not elementary",
  URL           = "http://arxiv.org/abs/1310.1767",
  Year          = "2012",
  bdsk-url-1    = "http://arxiv.org/abs/1310.1767",
  File          = "The reachability problem for vector addition systems with a stack is not elementary - Lazic (0) (0) - a - a - o.pdf",
  file-2        = "The reachability problem for vector addition systems with a stack is not elementary - Lazic (1) (0) - a - a - o.pdf"
}

@Article{ Lazic, Author = "Lazic, Ranko", date-added = "2013-11-10 10:32:46 +0000", date-modified = "2013-11-11 13:10:49 +0000", EPrint = "1310.1767", Keywords = "vector addition systems and pushdown automata", Month = "10", Title = "The reachability problem for vector addition systems with a stack is not elementary", URL = "http://arxiv.org/abs/1310.1767", Year = "2012", bdsk-url-1 = "http://arxiv.org/abs/1310.1767", File = "The reachability problem for vector addition systems with a stack is not elementary - Lazic (0) (0) - a - a - o.pdf", file-2 = "The reachability problem for vector addition systems with a stack is not elementary - Lazic (1) (0) - a - a - o.pdf" }