Christopher W. Brown. Fast simplifications for Tarski formulas. In Jeremy Johnson, Hyungju Park, Erich Kaltofen, editors, Symbolic and Algebraic Computation, International Symposium, ISSAC 2009, Seoul, Republic of Korea, July 29-31, 2009, Proceedings. pages 63-70, ACM, 2009. [doi]
Abstract is missing.