TY - RPRT TI - Identities among relations for higher-dimensional rewriting systems AU - Yves Guiraud AU - Philippe Malbos PY - 2010 UR - https://arxiv.org/abs/0910.4538 ID - 0910.4538 ER -