Yves Deville Micha Janssen Pascal Van Hentenryck Consistency Techniques in Ordinary Differential Equations. 162-176 http://link.springer.de/link/service/series/0558/bibs/1520/15200162.htm 1998 conf/cp/1998 CP db/conf/cp/cp98.html#DevilleJH98