Patrik Nordbeck 67-76 2002 33 J. Symb. Comput. 1 http://dx.doi.org/10.1006/jsco.2001.0498 db/journals/jsc/jsc33.html#Nordbeck02