Quoc-Nam Tran,  Groebner Bases Computation in Boolean Rings is P-SPACE.   journal   = {International Journal of Mathematical and Computational Sciences}, [online]. World Academy of Science, Engineering and Technology.
    September 2009, vol. 33(9). 698 - 703
    [viewed 16 April 2024]. Available from: https://publications.waset.org/pdf/12247.