François Boulier François Lemaire Computing canonical representatives of regular differential ideals. 38-47 2000 ISSAC http://doi.acm.org/10.1145/345542.345571 db/conf/issac/issac2000.html#BoulierL00