Narkawicz, Anthony Joseph, Cesar Munoz, and Aaron M. Dutle. “A Decision Procedure for Univariate Polynomial Systems Based on Root Counting and Interval Subdivision”. Journal of Formalized Reasoning 11, no. 1 (January 1, 2018): 19–41. Accessed November 21, 2024. https://jfr.unibo.it/article/view/8212.