Walter Baur Simplified Lower Bounds for Polynomials with Algebraic Coefficients. 38-41 1997 13 J. Complexity 1 http://dx.doi.org/10.1006/jcom.1997.0435 db/journals/jc/jc13.html#Baur97