TY - RPRT TI - Gröbner-Shirshov bases for categories AU - L. A. Bokut AU - Yuqun Chen AU - Yu Li PY - 2011 UR - https://arxiv.org/abs/1101.1563 ID - 1101.1563 ER -