Jan Vrsek Miroslav Lávicka 657-676 2010 45 J. Symb. Comput. 6 https://doi.org/10.1016/j.jsc.2010.02.001 db/journals/jsc/jsc45.html#VrsekL10