Adam W. Strzebonski, Elias P. Tsigaridas: Univariate real root isolation in an extension field and applications. J. Symb. Comput. 92: 31-51 (2019)