@TechReport{      somenzi,
  Author        = "Somenzi, Fabio",
  date-added    = "2017-06-26 16:45:37 +0000",
  date-modified = "2017-06-26 16:46:00 +0000",
  Title         = "Binary Decision Diagrams",
  Year          = "1999",
  File          = "somenzi99bdd (0) - a - a - d.pdf"
}

@TechReport{ somenzi, Author = "Somenzi, Fabio", date-added = "2017-06-26 16:45:37 +0000", date-modified = "2017-06-26 16:46:00 +0000", Title = "Binary Decision Diagrams", Year = "1999", File = "somenzi99bdd (0) - a - a - d.pdf" }