A pommaret division algorithm for computing Grobner bases in boolean rings. - Vladimir P. Gerdt; Mikhail V. Zinin (ISSAC, 2008)

Involutive method for computing Gröbner bases over mathbbF2 mathbb{F}_2. - Vladimir P. Gerdt; Mikhail V. Zinin (Program. Comput. Softw., 2008)

Role of involutive criteria in computing Boolean Gröbner bases. - Vladimir P. Gerdt; Mikhail V. Zinin (Program. Comput. Softw., 2009)

On computation of Boolean involutive bases. - Vladimir P. Gerdt; Mikhail V. Zinin; Yuri A. Blinkov (Program. Comput. Softw., 2010)

BIBasis, a package for reduce and Macaulay2 computer algebra systems to compute Boolean involutive and Gröbner bases. - Mikhail V. Zinin (Program. Comput. Softw., 2012)