Our paper “On Gröbner Bases in the Context of Satisfiability-Modulo-Theories Solving over the Real Numbers“ was accepted at CAI 2013. We also published a technical report, which is available here.