TY - RPRT TI - Computations modulo regular chains AU - Xin Li AU - Marc Moreno Maza AU - Wei Pan PY - 2009 UR - https://arxiv.org/abs/0903.3690 ID - 0903.3690 ER -