Manuel Bronstein 757-769 2007 42 J. Symb. Comput. 7 http://dx.doi.org/10.1016/j.jsc.2007.04.003 db/journals/jsc/jsc42.html#Bronstein07