@Article{         Blo20,
  Author        = "Blondin, Michael",
  date-added    = "2020-09-14 10:27:05 +0200",
  date-modified = "2020-09-14 10:27:05 +0200",
  Journal       = "ACM SIGLOG News",
  Number        = "3",
  Title         = "The {ABC}s of {P}etri net reachability relaxations",
  Volume        = "7",
  Year          = "2020",
  File          = "The ABCs of Petri net reachability relaxations - Blo20 - a - l.pdf"
}

@Article{ Blo20, Author = "Blondin, Michael", date-added = "2020-09-14 10:27:05 +0200", date-modified = "2020-09-14 10:27:05 +0200", Journal = "ACM SIGLOG News", Number = "3", Title = "The {ABC}s of {P}etri net reachability relaxations", Volume = "7", Year = "2020", File = "The ABCs of Petri net reachability relaxations - Blo20 - a - l.pdf" }