@article{Collins:1974,
    Address = {New York, NY, USA},
    Author = {Collins, George E.},
    File = {Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition--Preliminary Report - 1086837.1086852 - a - c.pdf},
    ISSN = {0163-5824},
    Journal = {SIGSAM Bull.},
    Month = {August},
    Number = {3},
    Pages = {80--90},
    Publisher = {Association for Computing Machinery},
    Title = {Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition--Preliminary Report},
    URL = {https://doi.org/10.1145/1086837.1086852},
    Volume = {8},
    Year = {1974},
    bdsk-url-1 = {https://doi.org/10.1145/1086837.1086852},
    date-added = {2020-06-03 14:56:57 +0200},
    date-modified = {2020-06-03 14:57:26 +0200},
    issue_date = {August 1974},
    numpages = {11},
    doi = {10.1145/1086837.1086852}
}

@article{Collins:1974, Address = {New York, NY, USA}, Author = {Collins, George E.}, File = {Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition--Preliminary Report - 1086837.1086852 - a - c.pdf}, ISSN = {0163-5824}, Journal = {SIGSAM Bull.}, Month = {August}, Number = {3}, Pages = {80--90}, Publisher = {Association for Computing Machinery}, Title = {Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition--Preliminary Report}, URL = {https://doi.org/10.1145/1086837.1086852}, Volume = {8}, Year = {1974}, bdsk-url-1 = {https://doi.org/10.1145/1086837.1086852}, date-added = {2020-06-03 14:56:57 +0200}, date-modified = {2020-06-03 14:57:26 +0200}, issue_date = {August 1974}, numpages = {11}, doi = {10.1145/1086837.1086852} }