1. Ritt J, Differential Algebra, New York, Dover Publications, 1966.
2. Wu W T, Basic principles of mechanical theorem-proving in elementary geometries, Journal Automated Reasoning, 1986, 2: 221–252.
3. Wu W T, Basic Principle of Mechanical Theorem Proving in Geometries, Science Press, Beijing, 1984; Springer, Wien, 1994 (in Chinese).
4. Aubry P, Lazard D, and Moreno Maza M, On the theories of triangular sets, J. Symb. Comput., 1999, 28(1–2): 105–124.
5. Chen C, Golubitsky O, Lemaire F, Moreno Maza M, and Pan W, Comprehensive triangular decomposition, CASC, 2007, 73–101.