The following publications are possibly variants of this publication:
- BIBasis, a package for reduce and Macaulay2 computer algebra systems to compute Boolean involutive and Gröbner basesMikhail V. Zinin. pcs, 38(2):92-101, 2012. [doi]
- On computation of Boolean involutive basesVladimir P. Gerdt, Mikhail V. Zinin, Yuri A. Blinkov. pcs, 36(2):117-123, 2010. [doi]
- Involutive method for computing Gröbner bases over /mathbb::::F::::::2:: /mathbb{F}_2Vladimir P. Gerdt, Mikhail V. Zinin. pcs, 34(4):191-203, 2008. [doi]