1. Wu W, On the decision problem and the mechanization of theorem-proving in elementary geometry, Scientia Sinica, 1978, 21(2): 159–172.
2. Wu W, Basic principles of mechanical theorem proving in elementary geometries, Journal of Systems Science and Mathematical Sciences, 1984, 4(3): 207–235.
3. Chou S and Gao X, Ritt-wu’s decomposition algorithm and geometry theorem proving, CADE 1990, Springer, 1990, 207–220.
4. Yang L and Zhang J, Searching dependency between algebraic equations: An algorithm applied to automated reasoning, Technical report, ICTP, 1991.
5. Yang L, Zhang J, and Hou X, A criterion of dependency between algebraic equations and its applications, Proc. IWMM, 1992, 110–134.