David Hartley Philip Tuckey Gröbner Bases in Clifford and Grassmann Algebras. 197-205 1995 20 J. Symb. Comput. 2 db/journals/jsc/jsc20.html#HartleyT95