Narkawicz, Anthony Joseph, et al. “A Decision Procedure for Univariate Polynomial Systems Based on Root Counting and Interval Subdivision”. Journal of Formalized Reasoning, vol. 11, no. 1, Jan. 2018, pp. 19-41, doi:10.6092/issn.1972-5787/8212.