@Article{         HofmanTotzkea,
  Author        = "Hofman, Piotr and Totzke, Patrick",
  date-added    = "2014-04-26 07:44:46 +0000",
  date-modified = "2014-04-26 07:44:52 +0000",
  EPrint        = "1404.5157",
  Month         = "04",
  Title         = "Trace Inclusion for One-Counter Nets Revisited",
  URL           = "http://arxiv.org/abs/1404.5157",
  Year          = "2014",
  bdsk-url-1    = "http://arxiv.org/abs/1404.5157",
  File          = "1404.5157 (0) - a - a - g.pdf",
  file-2        = "Trace Inclusion for One-Counter Nets Revisited - Hofman, Totzke (0) (0) - a - a - g.pdf"
}

@Article{ HofmanTotzkea, Author = "Hofman, Piotr and Totzke, Patrick", date-added = "2014-04-26 07:44:46 +0000", date-modified = "2014-04-26 07:44:52 +0000", EPrint = "1404.5157", Month = "04", Title = "Trace Inclusion for One-Counter Nets Revisited", URL = "http://arxiv.org/abs/1404.5157", Year = "2014", bdsk-url-1 = "http://arxiv.org/abs/1404.5157", File = "1404.5157 (0) - a - a - g.pdf", file-2 = "Trace Inclusion for One-Counter Nets Revisited - Hofman, Totzke (0) (0) - a - a - g.pdf" }