| Author | Collins, George E. and Hong, Hoon |
| Title | Partial Cylindrical Algebraic Decomposition for Quantifier Elimination |
| Journal | Journal of Symbolic Computation |
| Volume | 12 |
| Number | 3 |
| Pages | 299-328 |
| Month | Sep |
| Year | 1991 |
| Pubtype | Journal |
| Fileid | CollinsHong_91 |
| Name | Collins, Hong |
| Status | redlog algorithm |
| Xtitle | Partial Cylindrical Algebraic Decomposition for Quantifier Elimination |