Identities among relations for higher-dimensional rewriting systems
scientific article; zbMATH DE number 6237775