@Misc{            Vorobjov,
  Author        = "Vorobjov, N.",
  date-added    = "2018-11-23 18:28:30 +0100",
  date-modified = "2018-11-23 18:29:11 +0100",
  Keywords      = "quantifier elimination",
  Title         = "EFFECTIVE QUANTIFIER ELIMINATION OVER REAL CLOSED FIELDS",
  File          = "Effective Quantifier Elimination over Real Closed Fields.pdf"
}

@Misc{ Vorobjov, Author = "Vorobjov, N.", date-added = "2018-11-23 18:28:30 +0100", date-modified = "2018-11-23 18:29:11 +0100", Keywords = "quantifier elimination", Title = "EFFECTIVE QUANTIFIER ELIMINATION OVER REAL CLOSED FIELDS", File = "Effective Quantifier Elimination over Real Closed Fields.pdf" }