@Misc{            AAVVcb,
  Author        = "AAVV",
  date-added    = "2016-07-09 21:20:09 +0000",
  date-modified = "2016-07-09 21:20:32 +0000",
  Month         = "July",
  Title         = "LICS'16 program",
  Year          = "2016",
  File          = "LICS'16 program - AAVV (0) (0) - a - a - b.pdf"
}

@Misc{ AAVVcb, Author = "AAVV", date-added = "2016-07-09 21:20:09 +0000", date-modified = "2016-07-09 21:20:32 +0000", Month = "July", Title = "LICS'16 program", Year = "2016", File = "LICS'16 program - AAVV (0) (0) - a - a - b.pdf" }