%0 Journal Article %1 journals/siamcomp/ArnonCM84 %A Arnon, Dennis S. %A Collins, George E. %A McCallum, Scott %D 1984 %J SIAM J. Comput. %K dblp %N 4 %P 865-877 %T Cylindrical Algebraic Decomposition I: The Basic Algorithm. %U http://dblp.uni-trier.de/db/journals/siamcomp/siamcomp13.html#ArnonCM84 %V 13

@article{journals/siamcomp/ArnonCM84, added-at = {2019-10-19T00:00:00.000+0200}, author = {Arnon, Dennis S. and Collins, George E. and McCallum, Scott}, biburl = {https://www.bibsonomy.org/bibtex/2a02b8581d13ad00bce8240887a57d7f7/dblp}, ee = {https://doi.org/10.1137/0213054}, interhash = {173907938243f62ec61d986d94df7bc2}, intrahash = {a02b8581d13ad00bce8240887a57d7f7}, journal = {SIAM J. Comput.}, keywords = {dblp}, number = 4, pages = {865-877}, timestamp = {2019-10-22T13:18:27.000+0200}, title = {Cylindrical Algebraic Decomposition I: The Basic Algorithm.}, url = {http://dblp.uni-trier.de/db/journals/siamcomp/siamcomp13.html#ArnonCM84}, volume = 13, year = 1984 }