George E. Collins. Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition: a synopsis. ACM Comm. Computer Algebra, 10(1):10-12, 1976. [doi]
No references recorded for this publication.
No citations of this publication recorded.