The Differential Dimension Polynomial for Characterizable Differential   Ideals
  We generalize the differential dimension polynomial from prime differential ideals to characterizable differential ideals. Its computation is algorithmic, its degree and leading coefficient remain differential birational invariants, and it decides equality of characterizable differential ideals contained in each other. 
Markus Lange-Hegermann
math.AC cs.SC