Saugata Basu, Richard Pollack, and Marie-Françoise Roy.
On the combinatorial and algebraic complexity of quantifier elimination.
Journal of the ACM
, 43(6):1002-1045, November 1996.
Abstract, References, Citations, etc.
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database