@Misc{            Marker:2015aa,
  Author        = "Marker, David",
  date-added    = "2018-11-23 18:37:52 +0100",
  date-modified = "2018-11-23 18:38:08 +0100",
  HowPublished  = "unpublished",
  Title         = "Quantifier Elimination and Applications",
  Year          = "2015",
  File          = "qe (0) - a - a - x.pdf"
}

@Misc{ Marker:2015aa, Author = "Marker, David", date-added = "2018-11-23 18:37:52 +0100", date-modified = "2018-11-23 18:38:08 +0100", HowPublished = "unpublished", Title = "Quantifier Elimination and Applications", Year = "2015", File = "qe (0) - a - a - x.pdf" }