M. J. Doffou Robert L. Grossman The Symbolic Computation of Differential Invariants of Polynomial Vector Field Systems Using Trees. 26-31 1995 ISSAC http://doi.acm.org/10.1145/220346.220350 db/conf/issac/issac95.html#DoffouG95