Gregor Kemper 1212-1222 2009 44 J. Symb. Comput. 9 https://doi.org/10.1016/j.jsc.2008.02.012 db/journals/jsc/jsc44.html#Kemper09