Journal of Formalized Reasoning: 2018, vol: 11, issue: 1
1)- Anthony Narkawicz, Cesar Munoz, Aaron Dutle. A Decision Procedure for Univariate Polynomial Systems Based on Root Counting and Interval Subdivision.Journal of formalized reasoning. 2018, 11 (1): 19-41