Quoc-Nam Tran,  A P-SPACE Algorithm for Groebner Bases Computation in Boolean Rings.   journal   = {International Journal of Mathematical and Computational Sciences}, [online]. World Academy of Science, Engineering and Technology.
    September 2008, vol. 21(9). 641 - 647
    [viewed 26 April 2024]. Available from: https://publications.waset.org/pdf/7623.