@Unpublished{     CzerwinskiFigueiraHofman:UVASS:2020,
  Author        = "Czerwi{\'n}ski, Wojciech and Figueira, Diego and Hofman, Piotr",
  date-added    = "2020-03-03 14:30:28 +0100",
  date-modified = "2020-05-15 13:20:45 +0200",
  hal_id        = "hal-02483495",
  hal_version   = "v1",
  Keywords      = "unambiguity ; vector addition systems ; universality problem",
  Month         = "February",
  Note          = "working paper or preprint",
  PDF           = "https://hal.archives-ouvertes.fr/hal-02483495/file/main.pdf",
  Title         = "{Universality Problem for Unambiguous VASS}",
  URL           = "https://hal.archives-ouvertes.fr/hal-02483495",
  Year          = "2020",
  bdsk-url-1    = "https://hal.archives-ouvertes.fr/hal-02483495",
  File          = "Universality Problem for Unambiguous VASS - main - a - a - s.pdf"
}

@Unpublished{ CzerwinskiFigueiraHofman:UVASS:2020, Author = "Czerwi{\'n}ski, Wojciech and Figueira, Diego and Hofman, Piotr", date-added = "2020-03-03 14:30:28 +0100", date-modified = "2020-05-15 13:20:45 +0200", hal_id = "hal-02483495", hal_version = "v1", Keywords = "unambiguity ; vector addition systems ; universality problem", Month = "February", Note = "working paper or preprint", PDF = "https://hal.archives-ouvertes.fr/hal-02483495/file/main.pdf", Title = "{Universality Problem for Unambiguous VASS}", URL = "https://hal.archives-ouvertes.fr/hal-02483495", Year = "2020", bdsk-url-1 = "https://hal.archives-ouvertes.fr/hal-02483495", File = "Universality Problem for Unambiguous VASS - main - a - a - s.pdf" }