@article{1974-collins
,author={George E. Collins}
,ISSN={0163--5825}
,journal={SIGSAM Bulletin}
,pages={80--90}
,title={{Quantifier elimination for real closed fields by cylindrical algebraic decomposition: preliminary report}}
,volume={8}
,year={1974}
}