1. Michael Brickenstein and Alexander Dreyer, PolyBoRi: a framework for Gröbner-basis computations with Boolean polynomials, J. Symbolic Comp. 44 (2009), no. 9, 1326–1345.
  2. Michael Brickenstein, Alexander Dreyer, Gert-Martin Greuel, Markus Wedler, and Oliver Wienand, New developments in the theory of Gröbner bases and applications to formal verification, J. Pure Appl. Algebra 213 (2009), no. 8, 1612–1635.[MR]