Hanne Gottliebsen Tom Kelsey Ursula Martin 539-567 2005 39 J. Symb. Comput. 5 http://dx.doi.org/10.1016/j.jsc.2004.12.005 db/journals/jsc/jsc39.html#GottliebsenKM05