Dennis S. Arnon, Maurice Mignotte. On Mechanical Quantifier Elimination for Elementary Algebra and Geometry. Journal of Symbolic Computation, 5(1/2):237-259, 1988.
No references recorded for this publication.
No citations of this publication recorded.