ISSAC 2008 (July 20-23)
Click image to enlarge
ISSAC 2008. Vladimir Gerdt and Mikhail Zinin. A Pommaret Division Algorithm for Computing Groebner Bases in Boolean Rings (22.07.2008 09:47:09)