@article{Brown_2001,
    doi = {10.1006/jsco.2001.0463},
    url = {https://doi.org/10.1006%2Fjsco.2001.0463},
    year = {2001},
    month = {nov},
    publisher = {Elsevier {BV}},
    volume = {32},
    number = {5},
    pages = {447--465},
    author = {Christopher W. Brown},
    title = {Improved Projection for Cylindrical Algebraic Decomposition},
    journal = {Journal of Symbolic Computation}
}

@article{Brown_2001, doi = {10.1006/jsco.2001.0463}, url = {https://doi.org/10.1006%2Fjsco.2001.0463}, year = {2001}, month = {nov}, publisher = {Elsevier {BV}}, volume = {32}, number = {5}, pages = {447--465}, author = {Christopher W. Brown}, title = {Improved Projection for Cylindrical Algebraic Decomposition}, journal = {Journal of Symbolic Computation} }