François Bergeron Ulrike Sattler Constructible Differentially Finite Algebraic Series in Several Variables. 59-65 1995 144 Theor. Comput. Sci. 1&2 db/journals/tcs/tcs144.html#BergeronS95 http://dx.doi.org/10.1016/0304-3975(94)00297-V