Sylvain Pion Chee-Keng Yap Constructive root bound for k-ary rational input numbers. 361-376 2006 369 Theor. Comput. Sci. 1-3 https://doi.org/10.1016/j.tcs.2006.09.010 db/journals/tcs/tcs369.html#PionY06