23291 Alexander Rostovtsev/Alexey Mizyukin: On boolean ideals and varieties with
application to algebraic attacks. Internet 2012, 17p.

23125 Yosuke Sato/.../Ko Sakai: Boolean Gröbner bases.
J. Symb. Comp. 46 (2011), 622-632.