TY - RPRT TI - Rewriting modulo isotopies in Khovanov-Lauda-Rouquier's categorification of quantum groups AU - Benjamin Dupont PY - 2019 UR - https://arxiv.org/abs/1907.09901 ID - 1907.09901 ER -