Application of REDUCE System for Analyzing Consistency of Systems of P.D.E.'s. - Victor G. Ganzha; Sergey V. Meleshko; V. P. Shelest (ISSAC, 1990)