Composition-Diamond lemma for differential algebras
  In this paper, we establish the Composition-Diamond lemma for free differential algebras. As applications, we give Groebner-Shirshov bases for free Lie-differential algebra and free commutative-differential algebra, respectively. 
Yuqun Chen, Yongshan Chen and Yu Li