Computing highest-order divisors for a class of quasi-linear partial differential equations

A differential polynomial G is called a divisor of a differential polynomial F if any solution of the differential equation G = 0 is a solution of the equation F = 0. We design an algorithm which for a class of quasi-linear partial differential polynomials of order k + 1 finds its quasi-linear divisors of order k.