@TechReport{JungesLoupCorziliusAbraham-2013,
  author      = "Sebastian Junges and Ulrich Loup and Florian Corzilius and Erika {\'A}brah{\'a}m",
  title       = "On Gr\"obner Bases in the Context of Satisfiability-Modulo-Theories Solving over the Real Numbers",
  institution = "RWTH Aachen University",
  keywords    = "Gr{\"o}bner bases SMT RCF real algebra",
  year        = "2013",
  number      = "AIB-2013-08",
  month       = jun,
  url         = "http://aib.informatik.rwth-aachen.de/2013/203-08.ps.gz"
}