Application of Computer Algebra Methods to the Construction of an Asteroid Motion Theory Based on Lie Transforms. - Akmal A. Vakhidov; Irina V. Tupikova (ISSAC, 1998)