T. Bogart A. N. Jensen D. Speyer Bernd Sturmfels Rekha R. Thomas 54-73 2007 42 J. Symb. Comput. 1-2 http://dx.doi.org/10.1016/j.jsc.2006.02.004 db/journals/jsc/jsc42.html#BogartJSST07