Consistency Techniques in Ordinary Differential Equations.

Yves Deville, Micha Janssen, Pascal Van Hentenryck

Browse the full CP paper archive.