Composition-Diamond Lemma for associative conformal algebras

We prove the Composition-Diamond Lemma for associative conformal algebras. As some corollaries, we prove that the word problem for some homogeneous associative conformal algebras is solvable, while it is unsolvable in general.