Algorithm for checking triviality of "mixed" ideals in the ring of differential polynomials. - A. I. Zobnin; M. A. Limonov (Program. Comput. Softw., 2015)