A. J. Narkawicz, C. Munoz, and A. M. Dutle, “A Decision Procedure for Univariate Polynomial Systems Based on Root Counting and Interval Subdivision”, JFR, vol. 11, no. 1, pp. 19–41, Jan. 2018.