T. H. A. Le, M. Ouanes, and A. Zidna, “Computing real zeros of a polynomial by branch and bound and branch and reduce algorithms”, YUJOR, vol. 24, no. 1, pp. 53–69, Feb. 2014.