@Misc{            HL19,
  Author        = "Chistikov, Dmitry",
  date-added    = "2020-03-25 10:30:19 +0100",
  date-modified = "2020-03-25 10:31:22 +0100",
  Note          = "Highlights'19 invited talk slides",
  Title         = "On the complexity of logics over the integers",
  Year          = "2019",
  File          = "On the complexity of logics over the integers - Dmitry-Highlights'19-InvitedTalk-slides - a - a - a - n.pdf"
}

@Misc{ HL19, Author = "Chistikov, Dmitry", date-added = "2020-03-25 10:30:19 +0100", date-modified = "2020-03-25 10:31:22 +0100", Note = "Highlights'19 invited talk slides", Title = "On the complexity of logics over the integers", Year = "2019", File = "On the complexity of logics over the integers - Dmitry-Highlights'19-InvitedTalk-slides - a - a - a - n.pdf" }