D. M. Klimov V. M. Rudenko V. V. Leonov Symbolic Evaluation in the Nonlinear Mechanical Systems. 53-54 1993 ISSAC http://doi.acm.org/10.1145/164081.164091 db/conf/issac/issac93.html#KlimovRL93