Narkawicz, Anthony Joseph, Cesar Munoz, and Aaron M. Dutle. 2018. “A Decision Procedure for Univariate Polynomial Systems Based on Root Counting and Interval Subdivision”. Journal of Formalized Reasoning 11 (1):19-41. https://doi.org/10.6092/issn.1972-5787/8212.