Narkawicz, A. J.; Munoz, C.; Dutle, A. M. A Decision Procedure for Univariate Polynomial Systems Based on Root Counting and Interval Subdivision. JFR 2018, 11, 19-41.