Falai Chen Wenping Wang Yang Liu 92-117 2008 43 J. Symb. Comput. 2 http://dx.doi.org/10.1016/j.jsc.2007.10.003 db/journals/jsc/jsc43.html#ChenWL08