@Misc{            Anuj-DawarRocca,
  Author        = "Anuj Dawar, Dexter Kozen and Rocca, Simona Ronchi Della",
  date-added    = "2015-09-09 08:25:22 +0000",
  date-modified = "2015-09-09 08:25:36 +0000",
  HowPublished  = "Proc. of CSL'15",
  Title         = "The Ackermann Award 2015",
  File          = "The Ackermann Award 2015 - Anuj Dawar, Rocca (0) (0) - a - a - m.pdf"
}

@Misc{ Anuj-DawarRocca, Author = "Anuj Dawar, Dexter Kozen and Rocca, Simona Ronchi Della", date-added = "2015-09-09 08:25:22 +0000", date-modified = "2015-09-09 08:25:36 +0000", HowPublished = "Proc. of CSL'15", Title = "The Ackermann Award 2015", File = "The Ackermann Award 2015 - Anuj Dawar, Rocca (0) (0) - a - a - m.pdf" }