Tran, Q. (2009), 'Groebner Bases Computation in Boolean Rings is P-SPACE', World Academy of Science, Engineering and Technology, Open Science Index 33, International Journal of Mathematical and Computational Sciences, 3(9), 698 - 703.