Michael Brickenstein, Alexander Dreyer. Gröbner-free normal forms for Boolean polynomials. Journal of Symbolic Computation, 48:37-53, 2013. [doi]
@article{BrickensteinD13, title = {Gröbner-free normal forms for Boolean polynomials}, author = {Michael Brickenstein and Alexander Dreyer}, year = {2013}, doi = {10.1016/j.jsc.2011.04.002}, url = {http://dx.doi.org/10.1016/j.jsc.2011.04.002}, researchr = {https://researchr.org/publication/BrickensteinD13}, cites = {0}, citedby = {0}, journal = {Journal of Symbolic Computation}, volume = {48}, pages = {37-53}, }