%0 Journal Article %1 Collins+Hong/91/Partial %A Collins, G. E. %A Hong, H. %D 1991 %J Journal of Symbolic Computation %K imported %N 3 %P 299--328 %T Partial Cylindrical Algebraic Decomposition for Quantifier Elimination %V 12

@article{Collins+Hong/91/Partial, added-at = {2009-05-20T01:29:36.000+0200}, author = {Collins, G. E. and Hong, H.}, biburl = {https://www.bibsonomy.org/bibtex/20354d6d11ac9f904d60e104f37389af9/sriram0339}, description = {First cut database}, interhash = {0734bd8ddbaebbcbab044e5f28eaf777}, intrahash = {0354d6d11ac9f904d60e104f37389af9}, journal = {Journal of Symbolic Computation}, keywords = {imported}, month = sep, number = 3, pages = {299--328}, timestamp = {2009-05-20T01:29:36.000+0200}, title = {Partial Cylindrical Algebraic Decomposition for Quantifier Elimination}, volume = 12, year = 1991 }