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]
@article{Collins76,
title = {Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition: a synopsis},
author = {George E. Collins},
year = {1976},
doi = {10.1145/1093390.1093393},
url = {http://doi.acm.org/10.1145/1093390.1093393},
researchr = {https://researchr.org/publication/Collins76},
cites = {0},
citedby = {0},
journal = {ACM Comm. Computer Algebra},
volume = {10},
number = {1},
pages = {10-12},
}