Matthew England, David J. Wilson, Russell J. Bradford, James H. Davenport. Using the Regular Chains Library to Build Cylindrical Algebraic Decompositions by Projecting and Lifting. In Hoon Hong, Chee Yap, editors, Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings. Volume 8592 of Lecture Notes in Computer Science, pages 458-465, Springer, 2014. [doi]
Abstract is missing.