TY - RPRT TI - Buchberger-Weispfenning Theory for Effective Associative Rings AU - Michela Ceria PY - 2016 UR - https://arxiv.org/abs/1611.08846 ID - 1611.08846 ER -