Michel, L., Mathonet, P., & Zenaïdi, N. (2024). On Minimal and Minimum Cylindrical Algebraic Decompositions. In
International Symposium on Symbolic and Algebraic Computation (ISSAC ’24). New York, United States - New York: ACM. doi:10.1145/3666000.3669704
https://hdl.handle.net/2268/318907