Temur Kutsia 858-873 2008 43 J. Symb. Comput. 12 http://dx.doi.org/10.1016/j.jsc.2008.05.001 db/journals/jsc/jsc43.html#Kutsia08