@PhdThesis{       Passmore,
  Author        = "Passmore, Grant Olney",
  date-added    = "2012-04-23 17:24:36 +0200",
  date-modified = "2012-04-23 17:25:03 +0200",
  Title         = "Combined decision procedures for nonlinear arithmetics, real and complex",
  Year          = "2011",
  File          = "Combined decision procedures for nonlinear arithmetics, real and complex - Passmore - a - a - r.pdf"
}

@PhdThesis{ Passmore, Author = "Passmore, Grant Olney", date-added = "2012-04-23 17:24:36 +0200", date-modified = "2012-04-23 17:25:03 +0200", Title = "Combined decision procedures for nonlinear arithmetics, real and complex", Year = "2011", File = "Combined decision procedures for nonlinear arithmetics, real and complex - Passmore - a - a - r.pdf" }