Fast Gröbner Basis Computation for Boolean Polynomials - Franziska Hinkelmann; Elizabeth Arnold (CoRR, 2010)

Bruno Buchberger and the world of Gröbner bases. - Elizabeth Arnold; Ilias S. Kotsireas; Markus Rosenkranz (J. Symb. Comput., 2011)