1. Blum, L., ?Differentially closed fields: A model-theoretic tour?, in:Contributions to Algebra (Eds. H. Basset al.), Academic Press, New York, pp. 37?62 (1977).
2. Chou, S. C.,Mechanical Geometry Theorem Proving, D. Reidel Publishing Company (1988).
3. Chou, S. C. and Gao, X. S., ?Mechanical theorem proving in differential geometry, I. Space curves?, TR-89-08, Computer Sciences Department, The University of Texas at Austin (March 1989).
4. Chou, S. C. and Gao, X. S., ?Automated reasoning in mechanics using Ritt-Wu's method?, TR-89-11, Computer Sciences Department, The University of Texas at Austin (April 1989).
5. Chou, S. C. and Gao, X. S., Ritt-Wu's decomposition algorithm and geometry theorem proving?, TR-89-09, Computer Sciences Department, The University of Texas at Austin (March 1989).