1. Gröbner Basis representations of Sudoku;Arnold;College Math. J.,2010
2. Bernasconi, A., Codenotti, B., Crespi, V., Resta, G., 1997. Computing Gröbner bases in the Boolean setting with applications to counting. In: G. Italiano & S. Orlando, (Eds.), Proceedings of the Workshop on Algorithm Engineering, WAE 97, University of Venice, Venice, September 11–13, 1997. pp 209–218.
3. The Magma algebra system. I. The user language;Bosma;J. Symbolic Comput.,1997
4. A framework for Gröbner-basis computations with Boolean polynomials;Brickenstein;J. Symbolic Comput.,2009
5. New developments in the theory of Groebner bases and applications to formal verification;Brickenstein;J. Pure Appl. Algebra,2009