@Article{         Leroux,
  Author        = "Leroux, J{\'e}r{\^o}me",
  date-added    = "2012-06-13 11:51:23 +0200",
  date-modified = "2012-06-13 11:53:17 +0200",
  Title         = "Vector Addition System Reachability Problem In Less Than 7 Pages (v1)",
  File          = "Vector Addition System Reachability Problem In Less Than 7 Pages (v1) - Leroux (0) (0) - a - a - f.pdf"
}

@Article{ Leroux, Author = "Leroux, J{\'e}r{\^o}me", date-added = "2012-06-13 11:51:23 +0200", date-modified = "2012-06-13 11:53:17 +0200", Title = "Vector Addition System Reachability Problem In Less Than 7 Pages (v1)", File = "Vector Addition System Reachability Problem In Less Than 7 Pages (v1) - Leroux (0) (0) - a - a - f.pdf" }