Thomas Cluzeau Factorization of differential systems in characteristic <i>p</i>. 58-65 2003 conf/issac/2003 ISSAC http://doi.acm.org/10.1145/860854.860875 db/conf/issac/issac2003.html#Cluzeau03