“…Recently some new Composition-Diamond lemmas are given: for free algebra k Y ⊗ k X [13], for Lie algebras over commutative algebras [14], for metabelian Lie algebras [42], for semirings [24], for Rota-Baxter algebras [16], for L-algebras [17], for Vinberg-Koszul-Gerstenhaber right-symmetric algebras [18], for categories [20], for dialgebras [22], for associative algebras with multiple operations [25], for associative n-conformal algebras [27], for associative conformal algebras [29], for Lie superalgebras [31], for differential algebras [43], for λ-differential associative algebras with multiple operators [60], for commutative algebras with multiple operators and free commutative Rota-Baxter algebras [61], etc. By using the above and the known Composition-Diamond lemmas, some applications are obtained: for embeddings of algebras [23,52], for free inverse semigroups [28], for conformal algebras [30], for relative Gröbner-Shirshov bases of algebras and groups [36], for extensions of groups and algebras [40,41], for some word problems [10,44], for some Lie algebras [47], for partially commutative Lie algebras [50,59], for braid groups [7,8,9,48,56], for PBW theorems [14,18,22,35,45,46,…”