An algorithm for the decomposition of differential polynomials in the general case
decomposition of differential polynomials
scientific article; zbMATH DE number 6013768