Bernhard Beckermann Howard Cheng George Labahn 513-543 2006 41 J. Symb. Comput. 5 http://dx.doi.org/10.1016/j.jsc.2005.10.002 db/journals/jsc/jsc41.html#BeckermannCL06