Gröbner-free normal forms for Boolean polynomials

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},
}