1. S.C. Chou, “Proving Elementary Geometry Theorems Using Wu's Algorithm”, in Automated Theorem Proving: After 25 years, Ed. By W.W. Bledsoe and D. Loveland, AMS Contemporary Mathematics Series 29 (1984), 243–286.
2. S.C. Chou, “Proving and Discovering Theorems in Elementary Geometries Using Wu's Method”, PhD Thesis, Department of Mathematics, University of Texas, Austin (1985).
3. S.C. Chou, Mechanical Geometry Theorem Proving, D. Reidel Publishing Company, Dordrecht, Netherlands, 1988.
4. S. C. Chou and X. S. Gao, “Ritt-Wu's Decomposition Algorithm and Geometry Theorem Proving”, in Proceedings of CADE-10, Lecture Notes in AI, Vol. 449, 207–220, 1990.
5. S.C. Chou and X.S. Gao, “A Class of Geometry Statements of Constructive Type and Geometry Theorem Proving”, TR-89-37, Computer Sciences Department, The University of Texas at Austin, November, 1989.