The Structure of Differential Invariants and Differential Cut Elimination (Logical Methods in Computer Science, 2012)