Tran, Q.. "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, (2009), 3(9), 698 - 703.